From d836ac35d82311ae7522937b8b01c140f8616b97 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Wed, 19 Oct 2016 15:36:41 +0100
Subject: file missed in previous commit

---
 language/l2.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'language/l2.ml')

diff --git a/language/l2.ml b/language/l2.ml
index bae88cab..e64137e7 100644
--- a/language/l2.ml
+++ b/language/l2.ml
@@ -434,7 +434,7 @@ type
 type 
 'a type_def_aux =  (* Type definition body *)
    TD_abbrev of id * name_scm_opt * typschm (* type abbreviation *)
- | TD_record of id * name_scm_opt * typquant * ((typ * id)) list * bool (* struct type definition *)
+ | TD_recordfs of id * name_scm_opt * typquant * ((typ * id)) list * bool (* struct type definition *)
  | TD_variant of id * name_scm_opt * typquant * (type_union) list * bool (* union type definition *)
  | TD_enum of id * name_scm_opt * (id) list * bool (* enumeration type definition *)
  | TD_register of id * nexp * nexp * ((index_range * id)) list (* register mutable bitfield type definition *)
-- 
cgit v1.2.3