Commit 2acfed91 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Do not mark missing theories in old sessions as detached.

Since why3replay does not store theories without goals, the next time the
session is reloaded, why3replay would complain the session contains
detached theories.
parent 035ba52e
......@@ -1594,7 +1594,6 @@ let merge_file_section ~use_shapes ~old_ses ~old_theories ~env
make_theory_section ~detached:false ~merge:(old_ses,old_th,env,use_shapes) s fn th
with Not_found ->
(* if no theory was found we make a new theory section *)
found_detached := true;
Debug.dprintf debug_merge "[Session_itp.merge_file_section] theory NOT FOUND in old session: %s@." theory_name;
make_theory_section ~detached:false s fn th
in
......
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