--- a/src/Pure/Tools/build.ML Mon Feb 10 22:22:06 2014 +0100
+++ b/src/Pure/Tools/build.ML Mon Feb 10 22:39:04 2014 +0100
@@ -166,7 +166,7 @@
theories |>
(List.app (use_theories_condition last_timing)
|> session_timing name verbose
- |> Unsynchronized.setmp Output.Internal.protocol_message_fn protocol_message
+ |> Unsynchronized.setmp Output.protocol_message_fn protocol_message
|> Multithreading.max_threads_setmp (Options.int options "threads")
|> Exn.capture);
val res2 = Exn.capture Session.finish ();