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/Tools/jEdit/jedit_main/scala_console.scala
changeset 74037 c13198575f75
parent 74023 fd4b4385ad3c
child 75393 87ebf5a50283 
--- a/src/Tools/jEdit/jedit_main/scala_console.scala	Sat Jul 17 22:50:25 2021 +0200
+++ b/src/Tools/jEdit/jedit_main/scala_console.scala	Sat Jul 17 23:09:54 2021 +0200
@@ -74,7 +74,7 @@
       }
     }
     finally {
-      console_stream.flush
+      console_stream.flush()
       global_console = null
       global_out = null
       global_err = null
isabelle