diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index 46bb53acd1fbaa7a8ecb59e934f2cdd9fc5514ee..6d268f2117d9547ae03dcc531a3a88e49859d816 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -921,16 +921,16 @@ let addLocalToEnv ghost name data =
   (* If we are in a scope, then it means we are not at top level. Add the
    * name to the scope *)
   match !scopes with
-   | [] -> begin
+  | [] -> begin
       match data with
-       | EnvVar _ ->
-         Kernel.fatal ~current:true
+      | EnvVar _ ->
+        Kernel.fatal ~current:true
           "addLocalToEnv: not in a scope when adding %s!" name
-       | _ ->
+      | _ ->
         (* Adding a type with local scope *)
         Datatype.String.Hashtbl.add ghost_global_env name v;
         if not ghost then Datatype.String.Hashtbl.add global_env name v
-     end
+    end
   | s :: _ -> s := UndoRemoveFromEnv (ghost, name) :: !s
 
 let addGlobalToEnv ghost name data =