Commit 0650b2ed authored by Andrei Paskevich's avatar Andrei Paskevich

examples/use_api: update for eb751c1b

For some reason, these changes were not merged in from master
with the rest of the commit.
parent 1a364000
......@@ -42,7 +42,7 @@ let provers =
Whyconf.Mprover.fold
(fun _ p acc ->
try
let d = Driver.load_driver env p.Whyconf.driver [] in
let d = Whyconf.load_driver main env p.Whyconf.driver [] in
(p,d)::acc
with e ->
let p = p.Whyconf.prover in
......
......@@ -85,7 +85,7 @@ let env : Env.env = Env.create_env (Whyconf.loadpath main)
(* loading the Alt-Ergo driver *)
let alt_ergo_driver : Driver.driver =
try
Driver.load_driver env alt_ergo.Whyconf.driver []
Whyconf.load_driver main env alt_ergo.Whyconf.driver []
with e ->
eprintf "Failed to load driver for alt-ergo: %a@."
Exn_printer.exn_printer e;
......
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