src/Pure/Tools/find_consts.ML

--- a/src/Pure/Tools/find_consts.ML	Sat May 15 23:32:15 2010 +0200
+++ b/src/Pure/Tools/find_consts.ML	Sat May 15 23:40:00 2010 +0200
@@ -154,7 +154,7 @@
   Parse.xname >> Loose;
 
 val _ =
-  OuterSyntax.improper_command "find_consts" "search constants by type pattern" Keyword.diag
+  Outer_Syntax.improper_command "find_consts" "search constants by type pattern" Keyword.diag
     (Scan.repeat ((Scan.option Parse.minus >> is_none) -- criterion)
       >> (Toplevel.no_timing oo find_consts_cmd));