fix indentation

Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
goblint · Sep 15, 2023 · 34fecf4 · 34fecf4
1 parent f89a373
commit 34fecf4
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/ext/syntacticsearch/funcVar.ml b/src/ext/syntacticsearch/funcVar.ml
@@ -30,9 +30,10 @@ let is_temporary id = Inthash.mem allTempVars id
 (* fails when there is no function with name fname in cilfile *)
 let get_func_loc cilfile fname =
   let rec find_loc = function
-  | [] -> failwith ("no function with name " ^ fname ^ " found")
-  | GFun (fd, loc) :: l when fd.svar.vname = fname -> loc
-  | _ :: l -> find_loc l in
+    | [] -> failwith ("no function with name " ^ fname ^ " found")
+    | GFun (fd, loc) :: l when fd.svar.vname = fname -> loc
+    | _ :: l -> find_loc l
+  in
   find_loc cilfile.globals
 
 let generate_globalvar_list cilfile =