Commit 5810672c authored by MARCHE Claude's avatar MARCHE Claude

reading config

parent 88c01e2c
......@@ -354,7 +354,10 @@ let run_auto_detection gconfig =
let config = Autodetection.run_auto_detection gconfig.config in
gconfig.config <- config;
let provers = get_provers config in
gconfig.provers <- Mstr.fold (get_prover_data gconfig.env) provers Mstr.empty;
gconfig.provers <- Mstr.fold (get_prover_data gconfig.env) provers Mstr.empty
let () = eprintf "end of configuration initialization@."
(*
Local Variables:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment