--- a/src/Pure/Tools/simplifier_trace.scala Thu Apr 03 13:49:37 2014 +0200
+++ b/src/Pure/Tools/simplifier_trace.scala Thu Apr 03 14:54:17 2014 +0200
@@ -300,7 +300,7 @@
class Handler extends Session.Protocol_Handler
{
- private def cancel(prover: Session.Prover, msg: Prover.Protocol_Output): Boolean =
+ private def cancel(prover: Prover, msg: Prover.Protocol_Output): Boolean =
msg.properties match {
case Markup.Simp_Trace_Cancel(serial) =>
manager ! Cancel(serial)
@@ -309,7 +309,7 @@
false
}
- override def stop(prover: Session.Prover) =
+ override def stop(prover: Prover) =
{
manager ! Clear_Memory
manager ! Stop