changeset 62454 | 38c89353b349 |
parent 62445 | 91902961184c |
child 62836 | 98dbed6cfa44 |
--- a/src/Pure/Tools/update_cartouches.scala Sun Feb 28 17:37:20 2016 +0100 +++ b/src/Pure/Tools/update_cartouches.scala Sun Feb 28 17:40:01 2016 +0100 @@ -90,7 +90,7 @@ var replace_comment = false var replace_text = false - val getopts = Getopts(() => """ + val getopts = Getopts(""" Usage: isabelle update_cartouches [FILES|DIRS...] Options are: