diff options
-rw-r--r-- | cparser/Elab.ml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 72cac164..7b2c14e9 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -760,11 +760,10 @@ and elab_init_name_group keep_ty loc env (spec, namelist) = and elab_field_group keep_ty env (Field_group (spec, fieldlist, loc)) = - let fieldlist = List.map (function - | (None, x) -> - (Name ("", JUSTBASE, [], loc), x) - | (Some n, x) -> (n, x)) - fieldlist + let fieldlist = List.map + (function (None, x) -> (Name ("", JUSTBASE, [], loc), x) + | (Some n, x) -> (n, x)) + fieldlist in let ((names, env'), sto) = |