src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Wed Sep 22 12:52:35 2010 +0200
+++ b/src/Pure/System/isabelle_process.ML	Wed Sep 22 13:47:48 2010 +0200
@@ -78,7 +78,7 @@
       (Position.properties_of (Position.thread_data ()))) body;
 
 fun init_message out_stream =
-  message out_stream "A" [(Markup.pidN, process_id ())] (Session.welcome ());
+  message out_stream "A" [] (Session.welcome ());
 
 end;