Remove unnecessary paranetheses.

goblint · Nov 23, 2023 · 5be07e5 · 5be07e5
1 parent f262386
commit 5be07e5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/autoTune.ml b/src/autoTune.ml
@@ -99,9 +99,9 @@ let rec setCongruenceRecursive fd depth neigbourFunction =
     FunctionSet.iter
       (fun vinfo ->
          print_endline ("    " ^ vinfo.vname);
-         match (Cilfacade.find_varinfo_fundec vinfo) with
+         match Cilfacade.find_varinfo_fundec vinfo with
          | fd -> setCongruenceRecursive fd (depth -1) neigbourFunction
-         | exception Not_found -> () (* Happens for __goblint_bounded*)
+         | exception Not_found -> () (* Happens for __goblint_bounded *)
       )
       (FunctionSet.filter (*for extern and builtin functions there is no function definition in CIL*)
          (fun x -> not (isExtern x.vstorage || BatString.starts_with x.vname "__builtin"))