Fix autotune compilation on OCaml < 4.13 (PR #772)

goblint · Oct 11, 2022 · 7f84b27 · 7f84b27
1 parent f91c892
commit 7f84b27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/autoTune.ml b/src/autoTune.ml
@@ -83,7 +83,7 @@ let rec setCongruenceRecursive fd depth neigbourFunction =
          setCongruenceRecursive (Cilfacade.find_varinfo_fundec vinfo) (depth -1) neigbourFunction
       )
       (FunctionSet.filter (*for extern and builtin functions there is no function definition in CIL*)
-         (fun x -> not (isExtern x.vstorage || String.starts_with ~prefix:"__builtin" x.vname))
+         (fun x -> not (isExtern x.vstorage || BatString.starts_with x.vname "__builtin"))
          (neigbourFunction fd.svar)
       )
     ;