diff -r f19e5837ad69 -r 5c6955f487e5 src/Pure/Tools/find_consts.ML
--- a/src/Pure/Tools/find_consts.ML	Fri Mar 16 14:46:13 2012 +0100
+++ b/src/Pure/Tools/find_consts.ML	Fri Mar 16 18:20:12 2012 +0100
@@ -135,7 +135,7 @@
 in
 
 val _ =
-  Outer_Syntax.improper_command "find_consts" "search constants by type pattern" Keyword.diag
+  Outer_Syntax.improper_command ("find_consts", Keyword.diag) "search constants by type pattern"
     (Scan.repeat ((Scan.option Parse.minus >> is_none) -- criterion)
       >> (fn spec => Toplevel.no_timing o
         Toplevel.keep (fn state => find_consts (Toplevel.context_of state) spec)));