src/Pure/Tools/build.ML
changeset 62930 51ac6bc389e8
parent 62925 f1bdf10f95d8
child 63827 b24d0e53dd03
     1.1 --- a/src/Pure/Tools/build.ML	Sat Apr 09 14:52:10 2016 +0200
     1.2 +++ b/src/Pure/Tools/build.ML	Sat Apr 09 16:16:05 2016 +0200
     1.3 @@ -159,7 +159,7 @@
     1.4        theories |>
     1.5          (List.app (build_theories symbols last_timing Path.current)
     1.6            |> session_timing name verbose
     1.7 -          |> Unsynchronized.setmp Output.protocol_message_fn protocol_message
     1.8 +          |> Unsynchronized.setmp Private_Output.protocol_message_fn protocol_message
     1.9            |> Exn.capture);
    1.10      val res2 = Exn.capture Session.finish ();
    1.11      val _ = Par_Exn.release_all [res1, res2];
    1.12 @@ -193,5 +193,3 @@
    1.13      in Output.protocol_message (Markup.build_theories_result id) [result] end);
    1.14  
    1.15  end;
    1.16 -
    1.17 -structure Output: OUTPUT = Output;  (*seal system channels!*)