Skip to content
Snippets Groups Projects
Commit 41c3d54c authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

fix indentation

parent ee84f7cb
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment