From 9ae11643d2faaeedce3c69925ff5089437ea4dff Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 26 Dec 2016 18:07:37 +0100
Subject: Cosmetic indentation change

---
 cparser/Elab.ml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'cparser/Elab.ml')

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) =
-- 
cgit