diff --git a/src/kernel_internals/typing/mergecil.ml b/src/kernel_internals/typing/mergecil.ml
index 396af5ea5ac1a68df8f4b2ccf45cbcb51848f64d..805f4e06efe13270078d3163e9eca76ef90a9d8c 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