diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 12:53:17 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 12:53:17 +0100 |
| commit | 7cce5af2b184bbb7b037b2a32793c7bfa287da72 (patch) | |
| tree | e25b74df23812a490d54cce01f09f1df596d9e43 /cparser/Unblock.ml | |
| parent | 018ff51afad3d9c148622a50de83a2f787f6dc10 (diff) | |
| download | compcert-kvx-7cce5af2b184bbb7b037b2a32793c7bfa287da72.tar.gz compcert-kvx-7cce5af2b184bbb7b037b2a32793c7bfa287da72.zip | |
PR#10 continued: disambiguate record to avoid OCaml warning
Diffstat (limited to 'cparser/Unblock.ml')
| -rw-r--r-- | cparser/Unblock.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Unblock.ml b/cparser/Unblock.ml index 8d6518bd..405986f3 100644 --- a/cparser/Unblock.ml +++ b/cparser/Unblock.ml @@ -285,7 +285,7 @@ let rec unblock_glob env accu = function unblock_glob (Env.add_typedef env id ty) (g :: accu) gl | Genumdef (id, attr, members) -> unblock_glob - (Env.add_enum env id {ei_members = members; ei_attr = attr}) + (Env.add_enum env id {Env.ei_members = members; Env.ei_attr = attr}) (g :: accu) gl | Gpragma _ -> unblock_glob env (g :: accu) gl |