Commit 6c60a87b authored by MARCHE Claude's avatar MARCHE Claude

fix issue #64

Controller.reload_files now resets its environment, which by side-effect
requires to reload all imported files.
parent 5b470e97
......@@ -78,7 +78,7 @@ let print_strategy_status fmt st =
type controller =
{ mutable controller_session: Session_itp.session;
controller_config : Whyconf.config;
controller_env: Env.env;
mutable controller_env: Env.env;
controller_provers:
(Whyconf.config_prover * Driver.driver) Whyconf.Hprover.t;
controller_strategies : (string * string * string * Strategy.instruction array) Stdlib.Hstr.t;
......@@ -225,6 +225,7 @@ let print_session fmt c =
let reload_files (c : controller) ~use_shapes =
let old_ses = c.controller_session in
c.controller_env <- Env.create_env (Env.get_loadpath c.controller_env);
c.controller_session <- empty_session ~from:old_ses (get_dir old_ses);
(* try
*)
......
......@@ -86,7 +86,7 @@ end
type controller = private
{ mutable controller_session : Session_itp.session;
controller_config : Whyconf.config;
controller_env : Env.env;
mutable controller_env : Env.env;
controller_provers : (Whyconf.config_prover * Driver.driver) Whyconf.Hprover.t;
controller_strategies : (string * string * string * Strategy.instruction array) Stdlib.Hstr.t;
controller_running_proof_attempts : unit Hpan.t;
......
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