diff -r b93cc7d73431 -r 38c89353b349 src/Pure/Tools/update_cartouches.scala
--- 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: