src/Pure/Tools/find_consts.ML
changeset 48646 91281e9472d8
parent 46979 ef4b0d6b2fb6
child 49886 0dc57c05bf4e
     1.1 --- a/src/Pure/Tools/find_consts.ML	Thu Aug 02 11:32:23 2012 +0200
     1.2 +++ b/src/Pure/Tools/find_consts.ML	Thu Aug 02 12:36:54 2012 +0200
     1.3 @@ -134,7 +134,7 @@
     1.4  in
     1.5  
     1.6  val _ =
     1.7 -  Outer_Syntax.improper_command ("find_consts", Keyword.diag) "search constants by type pattern"
     1.8 +  Outer_Syntax.improper_command @{command_spec "find_consts"} "search constants by type pattern"
     1.9      (Scan.repeat ((Scan.option Parse.minus >> is_none) -- criterion)
    1.10        >> (fn spec => Toplevel.no_timing o
    1.11          Toplevel.keep (fn state => find_consts (Toplevel.context_of state) spec)));