src/Pure/Tools/build.ML
changeset 55387 51f0876f61df
parent 54717 42c209a6c225
child 55448 e42a3fc18458
     1.1 --- a/src/Pure/Tools/build.ML	Mon Feb 10 22:22:06 2014 +0100
     1.2 +++ b/src/Pure/Tools/build.ML	Mon Feb 10 22:39:04 2014 +0100
     1.3 @@ -166,7 +166,7 @@
     1.4          theories |>
     1.5            (List.app (use_theories_condition last_timing)
     1.6              |> session_timing name verbose
     1.7 -            |> Unsynchronized.setmp Output.Internal.protocol_message_fn protocol_message
     1.8 +            |> Unsynchronized.setmp Output.protocol_message_fn protocol_message
     1.9              |> Multithreading.max_threads_setmp (Options.int options "threads")
    1.10              |> Exn.capture);
    1.11        val res2 = Exn.capture Session.finish ();