--- a/src/Pure/Tools/build.ML Fri Aug 02 16:02:06 2013 +0200
+++ b/src/Pure/Tools/build.ML Fri Aug 02 20:47:02 2013 +0200
@@ -164,7 +164,7 @@
theories |>
(List.app (use_theories_condition last_timing)
|> session_timing name verbose
- |> Unsynchronized.setmp Output.Private_Hooks.protocol_message_fn protocol_message
+ |> Unsynchronized.setmp Output.Internal.protocol_message_fn protocol_message
|> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")
|> Exn.capture);
val res2 = Exn.capture Session.finish ();