Commit 4bb6cff4 authored by Sylvain's avatar Sylvain Committed by MARCHE Claude

Remove useless recomputation of environment and drivers during reload

parent 38c42998
......@@ -244,9 +244,6 @@ let print_session fmt c =
let reload_files (c : controller) ~shape_version =
let old_ses = c.controller_session in
c.controller_env <- Env.create_env (Env.get_loadpath c.controller_env);
Whyconf.Hprover.reset c.controller_provers;
load_drivers c;
c.controller_session <- empty_session ~shape_version ~from:old_ses (get_dir old_ses);
merge_files ~shape_version c.controller_env c.controller_session old_ses
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