-
Guillaume Melquiond authored
Since why3replay does not store theories without goals, the next time the session is reloaded, why3replay would complain the session contains detached theories.
2acfed91
Since why3replay does not store theories without goals, the next time the session is reloaded, why3replay would complain the session contains detached theories.