src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Tue Sep 29 11:48:32 2009 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Sep 29 11:49:22 2009 +0200
@@ -130,7 +130,7 @@
 (* init *)
 
 fun init out =
- (change print_mode (update (op =) isabelle_processN);
+ (Unsynchronized.change print_mode (update (op =) isabelle_processN);
   setup_channels out |> init_message;
   OuterKeyword.report ();
   Output.status (Markup.markup Markup.ready "");