From 41c3d54cdbb85152a8192c396c7506cd078e3f2f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 7 May 2020 21:51:39 +0200
Subject: [PATCH] fix indentation

---
 src/kernel_internals/typing/mergecil.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel_internals/typing/mergecil.ml b/src/kernel_internals/typing/mergecil.ml
index 396af5ea5ac..805f4e06efe 100644
--- a/src/kernel_internals/typing/mergecil.ml
+++ b/src/kernel_internals/typing/mergecil.ml
@@ -2659,7 +2659,7 @@ let update_formals_names merged_vi curr_vi =
        (*existing prototype does not have formals list. Just use current one*)
        Cil.unsafeSetFormalsDecl merged_vi curr_args)
   | exception Not_found -> ()
-    (* current prototype does not have formals list, nothing to merge. *)
+(* current prototype does not have formals list, nothing to merge. *)
 
 (* Now we go once more through the file and we rename the globals that we
  * keep. We also scan the entire body and we replace references to the
-- 
GitLab