From 4bb6cff47fce6aff77db07dc580fe8e7818e5672 Mon Sep 17 00:00:00 2001
From: Sylvain <dailler@adacore.com>
Date: Wed, 14 Aug 2019 17:31:52 +0200
Subject: [PATCH] Remove useless recomputation of environment and drivers
 during reload

---
 src/session/controller_itp.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/session/controller_itp.ml b/src/session/controller_itp.ml
index 60fe42609..94d46e6c4 100644
--- a/src/session/controller_itp.ml
+++ b/src/session/controller_itp.ml
@@ -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
 
-- 
GitLab