diff options
| author | Christopher Pulte | 2016-10-19 15:42:51 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-10-19 15:42:51 +0100 |
| commit | c5d020885780addd197cb83b0fb9996b564b409f (patch) | |
| tree | 811c8196f82bbddd95e8b0509dd417421195eeda | |
| parent | d836ac35d82311ae7522937b8b01c140f8616b97 (diff) | |
Revert "file missed in previous commit"
This reverts commit d836ac35d82311ae7522937b8b01c140f8616b97.
| -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 e64137e7..bae88cab 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_recordfs of id * name_scm_opt * typquant * ((typ * id)) list * bool (* struct type definition *) + | TD_record 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 *) |