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 73578 629868f96c81
parent 73577 6c8fc3c038eb
child 75577 c51e1cef1eae 
--- a/src/Pure/System/isabelle_process.ML	Tue Apr 13 11:44:47 2021 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Apr 13 16:19:43 2021 +0200
@@ -106,7 +106,7 @@
     (* messages *)
 
     val message_channel = Message_Channel.make out_stream;
-    val message = Message_Channel.send_message message_channel;
+    val message = Message_Channel.message message_channel;
 
     fun standard_message props name ss =
       if forall (fn s => s = "") ss then ()
isabelle