diff options
| author | Christopher Pulte | 2016-10-19 15:36:41 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-10-19 15:36:41 +0100 |
| commit | d836ac35d82311ae7522937b8b01c140f8616b97 (patch) | |
| tree | 9dacbc8fa681f2830a2a6896f11c8e23938ff0d3 /language/l2.ml | |
| parent | c710712359a594ddd7e649a73c7ee92c67992ff0 (diff) | |
file missed in previous commit
Diffstat (limited to 'language/l2.ml')
| -rw-r--r-- | language/l2.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 *) |