changeset 62454 | 38c89353b349 |
parent 62437 | bccad0374407 |
child 62832 | c1410bcf6e87 |
--- a/src/Pure/System/options.scala Sun Feb 28 17:37:20 2016 +0100 +++ b/src/Pure/System/options.scala Sun Feb 28 17:40:01 2016 +0100 @@ -150,7 +150,7 @@ var list_options = false var export_file = "" - val getopts = Getopts(() => """ + val getopts = Getopts(""" Usage: isabelle options [OPTIONS] [MORE_OPTIONS ...] Options are: