--- a/src/Pure/Tools/print_operation.scala Mon Mar 13 23:24:20 2017 +0100
+++ b/src/Pure/Tools/print_operation.scala Tue Mar 14 00:09:15 2017 +0100
@@ -24,7 +24,7 @@
def get: List[(String, String)] = print_operations.value
- private def put(prover: Prover, msg: Prover.Protocol_Output): Boolean =
+ private def put(msg: Prover.Protocol_Output): Boolean =
{
val ops =
{
@@ -35,9 +35,9 @@
true
}
- override def start(session: Session, prover: Prover): Unit =
- prover.protocol_command(Markup.PRINT_OPERATIONS)
+ override def init(session: Session): Unit =
+ session.protocol_command(Markup.PRINT_OPERATIONS)
- val functions = Map(Markup.PRINT_OPERATIONS -> put _)
+ val functions = List(Markup.PRINT_OPERATIONS -> put _)
}
}