Commit 70fa331b authored by MARCHE Claude's avatar MARCHE Claude

IDE: provers are there even if XML does not exists

parent 5a0032f2
......@@ -1164,11 +1164,11 @@ let open_session ~env ~config ~init ~notify dir =
| None ->
init_fun := init; notify_fun := notify;
project_dir := dir; current_env := Some env;
let provers = Whyconf.get_provers config in
current_provers :=
Util.Mstr.fold (get_prover_data env) provers Util.Mstr.empty;
begin try
let xml = Xml.from_file (Filename.concat dir db_filename) in
let provers = Whyconf.get_provers config in
current_provers :=
Util.Mstr.fold (get_prover_data env) provers Util.Mstr.empty;
load_session ~env xml;
reload_all ()
with
......
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