diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-12-26 18:07:37 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-12-26 18:07:37 +0100 |
| commit | 9ae11643d2faaeedce3c69925ff5089437ea4dff (patch) | |
| tree | 44eee0119ac46c06e7935273682e637c53e8e841 /cparser | |
| parent | 5d8085e17db7ea39720d185564b46e72ac22058b (diff) | |
| download | compcert-9ae11643d2faaeedce3c69925ff5089437ea4dff.tar.gz compcert-9ae11643d2faaeedce3c69925ff5089437ea4dff.zip | |
Cosmetic indentation change
Diffstat (limited to 'cparser')
| -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) = |