src/Pure/Syntax/syntax.ML
changeset 30189 3633f560f4c3
parent 29134 9657871890c7
child 30364 577edc39b501
     1.1 --- a/src/Pure/Syntax/syntax.ML	Sun Mar 01 16:22:37 2009 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Sun Mar 01 16:48:06 2009 +0100
     1.3 @@ -390,7 +390,7 @@
     1.4  val basic_nonterms =
     1.5    (Lexicon.terminals @ [SynExt.logic, "type", "types", "sort", "classes",
     1.6      SynExt.args, SynExt.cargs, "pttrn", "pttrns", "idt", "idts", "aprop",
     1.7 -    "asms", SynExt.any_, SynExt.sprop, "num_const", "float_const",
     1.8 +    "asms", SynExt.any, SynExt.sprop, "num_const", "float_const",
     1.9      "index", "struct"]);
    1.10  
    1.11