src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Mon Sep 27 18:16:36 2010 +0200
+++ b/src/Pure/System/isabelle_process.ML	Mon Sep 27 20:26:10 2010 +0200
@@ -172,7 +172,7 @@
 fun init in_fifo out_fifo = ignore (Simple_Thread.fork false (fn () =>
   let
     val _ = OS.Process.sleep (Time.fromMilliseconds 500);  (*yield to raw ML toplevel*)
-    val _ = Output.std_output Symbol.STX;
+    val _ = Output.raw_stdout Symbol.STX;
 
     val _ = quick_and_dirty := true;  (* FIXME !? *)
     val _ = Context.set_thread_data NONE;