do not read Why3 config file

fblanqui · Jun 20, 2024 · 6dff9e5 · 6dff9e5
1 parent 548675b
commit 6dff9e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/handle/why3_tactic.ml b/src/handle/why3_tactic.ml
@@ -22,7 +22,7 @@ let timeout : int ref = ref 2
    (["~/.why3.conf"] usually). For more information, visit the Why3
    documentation at http://why3.lri.fr/api/Whyconf.html. *)
 let why3_config : Why3.Whyconf.config =
-  let cfg = Why3.Whyconf.init_config None in
+  let cfg = Why3.Whyconf.read_config (Some "") in
   let provers = Why3.Whyconf.get_provers cfg in
   Console.out 2 "provers available for why3:";
   let prover p _ = Console.out 2 "%a" Why3.Whyconf.print_prover p in