src/Pure/Tools/update_cartouches.scala

   {
     Command_Line.tool0 {
       var replace_comment = false
       var replace_text = false
 
-      val getopts = Getopts(() => """
+      val getopts = Getopts("""
 Usage: isabelle update_cartouches [FILES|DIRS...]
 
   Options are:
     -c           replace comment marker "--" by symbol "\<comment>"
     -t           replace @{text} antiquotations within text tokens