From 54bb4ac66f3e3794d31b8ca9c05b728074dddd0f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 14 Oct 2019 18:41:36 +0200
Subject: [PATCH] [lint] reindent cabs2cil post-rebase
---
src/kernel_internals/typing/cabs2cil.ml | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index 46bb53acd1f..6d268f2117d 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 =
--
GitLab