src/Pure/Syntax/syntax.ML
changeset 46236 ae79f2978a67
parent 46126 bab00660539d
child 46483 10a9c31a22b4
     1.1 --- a/src/Pure/Syntax/syntax.ML	Mon Jan 16 20:32:33 2012 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Mon Jan 16 21:50:15 2012 +0100
     1.3 @@ -542,8 +542,9 @@
     1.4  val basic_nonterms =
     1.5    (Lexicon.terminals @ ["logic", "type", "types", "sort", "classes",
     1.6      "args", "cargs", "pttrn", "pttrns", "idt", "idts", "aprop", "asms",
     1.7 -    "any", "prop'", "num_const", "float_const", "xnum_const", "index", "struct",
     1.8 -    "id_position", "longid_position", "xstr_position", "type_name", "class_name"]);
     1.9 +    "any", "prop'", "num_const", "float_const", "xnum_const", "num_position",
    1.10 +    "float_position", "xnum_position", "index", "struct", "id_position",
    1.11 +    "longid_position", "xstr_position", "type_name", "class_name"]);
    1.12  
    1.13  
    1.14