--- a/src/Pure/Tools/simplifier_trace.scala Tue Mar 14 00:09:15 2017 +0100
+++ b/src/Pure/Tools/simplifier_trace.scala Tue Mar 14 00:13:38 2017 +0100
@@ -290,6 +290,12 @@
{
assert(manager.is_active)
+ override def exit() =
+ {
+ manager.send(Clear_Memory)
+ manager.shutdown()
+ }
+
private def cancel(msg: Prover.Protocol_Output): Boolean =
msg.properties match {
case Markup.Simp_Trace_Cancel(serial) =>
@@ -299,12 +305,6 @@
false
}
- override def exit() =
- {
- manager.send(Clear_Memory)
- manager.shutdown()
- }
-
val functions = List(Markup.SIMP_TRACE_CANCEL -> cancel _)
}
}