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/ML/ml_console.scala
changeset 71383 8313dca6dee9
parent 69854 cc0b3e177b49
child 71594 8a298184f3f9 
--- a/src/Pure/ML/ml_console.scala	Wed Jan 15 19:49:13 2020 +0100
+++ b/src/Pure/ML/ml_console.scala	Wed Jan 15 19:54:50 2020 +0100
@@ -47,7 +47,7 @@
         "r" -> (_ => raw_ml_system = true))
 
       val more_args = getopts(args)
-      if (!more_args.isEmpty) getopts.usage()
+      if (more_args.nonEmpty) getopts.usage()
 
 
       // build logic
isabelle