src/Pure/System/isabelle_process.ML
changeset 39733 6d373e9dcb9d
parent 39626 a5d0bcfb95a3
child 40132 7ee65dbffa31
     1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Sep 27 18:16:36 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Sep 27 20:26:10 2010 +0200
     1.3 @@ -172,7 +172,7 @@
     1.4  fun init in_fifo out_fifo = ignore (Simple_Thread.fork false (fn () =>
     1.5    let
     1.6      val _ = OS.Process.sleep (Time.fromMilliseconds 500);  (*yield to raw ML toplevel*)
     1.7 -    val _ = Output.std_output Symbol.STX;
     1.8 +    val _ = Output.raw_stdout Symbol.STX;
     1.9  
    1.10      val _ = quick_and_dirty := true;  (* FIXME !? *)
    1.11      val _ = Context.set_thread_data NONE;