--- a/src/Pure/System/isar.ML Fri Aug 02 16:02:06 2013 +0200
+++ b/src/Pure/System/isar.ML Fri Aug 02 20:47:02 2013 +0200
@@ -156,7 +156,7 @@
fun toplevel_loop in_stream {init = do_init, welcome, sync, secure} =
(Context.set_thread_data NONE;
if do_init then init () else ();
- Output.Private_Hooks.protocol_message_fn := protocol_message;
+ Output.Internal.protocol_message_fn := protocol_message;
if welcome then writeln (Session.welcome ()) else ();
uninterruptible (fn _ => fn () => raw_loop secure (Outer_Syntax.isar in_stream sync)) ());