src/Pure/System/isabelle_process.ML
changeset 43673 29eb1cd29961
parent 43671 a250b092ac66
child 43684 85388f5570c4
--- a/src/Pure/System/isabelle_process.ML	Tue Jul 05 22:38:44 2011 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Jul 05 22:39:15 2011 +0200
@@ -180,6 +180,7 @@
 
     val in_stream = setup_channels in_fifo out_fifo;
     val _ = Keyword.status ();
+    val _ = Thy_Info.status ();
     val _ = Output.status (Markup.markup Markup.ready "process ready");
   in loop in_stream end));