src/Pure/System/isabelle_process.ML
changeset 32738 15bb09ca0378
parent 31797 203d5e61e3bc
child 32793 24ba50c14ec5
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Sep 29 11:48:32 2009 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Sep 29 11:49:22 2009 +0200
     1.3 @@ -130,7 +130,7 @@
     1.4  (* init *)
     1.5  
     1.6  fun init out =
     1.7 - (change print_mode (update (op =) isabelle_processN);
     1.8 + (Unsynchronized.change print_mode (update (op =) isabelle_processN);
     1.9    setup_channels out |> init_message;
    1.10    OuterKeyword.report ();
    1.11    Output.status (Markup.markup Markup.ready "");