src/Pure/Tools/build.ML
changeset 52852 08ecbffaf25c
parent 52710 52790e3961fe
child 53212 387b9f7cb0ac
     1.1 --- a/src/Pure/Tools/build.ML	Fri Aug 02 16:02:06 2013 +0200
     1.2 +++ b/src/Pure/Tools/build.ML	Fri Aug 02 20:47:02 2013 +0200
     1.3 @@ -164,7 +164,7 @@
     1.4          theories |>
     1.5            (List.app (use_theories_condition last_timing)
     1.6              |> session_timing name verbose
     1.7 -            |> Unsynchronized.setmp Output.Private_Hooks.protocol_message_fn protocol_message
     1.8 +            |> Unsynchronized.setmp Output.Internal.protocol_message_fn protocol_message
     1.9              |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")
    1.10              |> Exn.capture);
    1.11        val res2 = Exn.capture Session.finish ();