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/General/source.ML
changeset 23661 b3f05bc680b6
parent 23139 aa899bce7c3b
child 23675 2d618c190466 
--- a/src/Pure/General/source.ML	Mon Jul 09 11:44:20 2007 +0200
+++ b/src/Pure/General/source.ML	Mon Jul 09 11:44:22 2007 +0200
@@ -122,7 +122,7 @@
   let val input = slurp_input instream in
     if exists (fn c => c = "\n") input then (input, ())
     else
-      (TextIO.output (outstream, prompt);
+      (TextIO.output (outstream, Output.output prompt);
         TextIO.flushOut outstream;
         (case TextIO.inputLine instream of
           SOME line => (input @ explode line, ())
isabelle