src/Pure/Syntax/syntax.ML
changeset 28904 3ef9489eeef5
parent 28840 049f0a8faa35
child 29004 a5a91f387791
     1.1 --- a/src/Pure/Syntax/syntax.ML	Fri Nov 28 17:43:06 2008 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Sat Nov 29 13:37:13 2008 +0100
     1.3 @@ -391,7 +391,8 @@
     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", "index", "struct"]);
     1.8 +    "asms", SynExt.any_, SynExt.sprop, "num_const", "float_const",
     1.9 +    "index", "struct"]);
    1.10  
    1.11  
    1.12