changeset 63805 | c272680df665 |
parent 57593 | 2f7d91242b99 |
child 65219 | ed4b47b8c7dc |
--- a/src/Pure/Tools/simplifier_trace.scala Mon Sep 05 21:09:50 2016 +0200 +++ b/src/Pure/Tools/simplifier_trace.scala Mon Sep 05 22:09:52 2016 +0200 @@ -165,7 +165,7 @@ def do_reply(session: Session, serial: Long, answer: Answer) { session.protocol_command( - "Simplifier_Trace.reply", Properties.Value.Long(serial), answer.name) + "Simplifier_Trace.reply", Value.Long(serial), answer.name) } Consumer_Thread.fork[Any]("Simplifier_Trace.manager", daemon = true)(