changeset 62454 | 38c89353b349 |
parent 62446 | 5b749c31eb97 |
child 62836 | 98dbed6cfa44 |
--- a/src/Pure/Tools/update_header.scala Sun Feb 28 17:37:20 2016 +0100 +++ b/src/Pure/Tools/update_header.scala Sun Feb 28 17:40:01 2016 +0100 @@ -33,7 +33,7 @@ Command_Line.tool0 { var section = "section" - val getopts = Getopts(() => """ + val getopts = Getopts(""" Usage: isabelle update_header [FILES|DIRS...] Options are: