src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Mon May 31 19:36:13 2010 +0200
+++ b/src/Pure/System/isabelle_process.ML	Mon May 31 21:06:57 2010 +0200
@@ -67,9 +67,9 @@
     val path = File.platform_path (Path.explode out);
     val out_stream = TextIO.openOut path;  (*fifo blocks until reader is ready*)
     val _ = OS.FileSys.remove path;  (*prevent alien access, indicate writer is ready*)
-    val _ = SimpleThread.fork false (auto_flush out_stream);
-    val _ = SimpleThread.fork false (auto_flush TextIO.stdOut);
-    val _ = SimpleThread.fork false (auto_flush TextIO.stdErr);
+    val _ = Simple_Thread.fork false (auto_flush out_stream);
+    val _ = Simple_Thread.fork false (auto_flush TextIO.stdOut);
+    val _ = Simple_Thread.fork false (auto_flush TextIO.stdErr);
   in
     Output.status_fn   := standard_message out_stream "B";
     Output.writeln_fn  := standard_message out_stream "C";