-
MARCHE Claude authored
Since why3replay does not store theories without goals, the next time the session is reloaded, why3replay would complain the session contains detached theories.
05ea6612
Since why3replay does not store theories without goals, the next time the session is reloaded, why3replay would complain the session contains detached theories.