Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_process.ML
changeset 72114 d00220799735
parent 72112 3546dd4ade74
child 72116 7773ec172572 
--- a/src/Pure/System/isabelle_process.ML	Fri Aug 07 20:28:53 2020 +0200
+++ b/src/Pure/System/isabelle_process.ML	Fri Aug 07 21:02:02 2020 +0200
@@ -201,7 +201,7 @@
 
     fun protocol () =
      (Session.init_protocol_handlers ();
-      Output.protocol_message (Markup.ml_pid (ML_PID.get ())) [];
+      Output.protocol_message (Markup.ml_pid (ML_Pid.get ())) [];
       message Markup.initN [] [XML.Text (Session.welcome ())];
       protocol_loop ());
isabelle