| changeset 46483 | 10a9c31a22b4 |
| parent 46236 | ae79f2978a67 |
| child 46506 | c7faa011bfa7 |
--- a/src/Pure/Syntax/syntax.ML Tue Feb 14 22:48:07 2012 +0100 +++ b/src/Pure/Syntax/syntax.ML Wed Feb 15 13:24:22 2012 +0100 @@ -544,7 +544,7 @@ "args", "cargs", "pttrn", "pttrns", "idt", "idts", "aprop", "asms", "any", "prop'", "num_const", "float_const", "xnum_const", "num_position", "float_position", "xnum_position", "index", "struct", "id_position", - "longid_position", "xstr_position", "type_name", "class_name"]); + "longid_position", "str_position", "type_name", "class_name"]);