| changeset 45490 | 20c8c0cca555 |
| parent 45429 | fd58cbf8cae3 |
| child 45632 | b23c42b9f78a |
--- a/src/Pure/Syntax/syntax.ML Mon Nov 14 17:47:59 2011 +0100 +++ b/src/Pure/Syntax/syntax.ML Mon Nov 14 17:48:26 2011 +0100 @@ -543,7 +543,7 @@ (Lexicon.terminals @ ["logic", "type", "types", "sort", "classes", "args", "cargs", "pttrn", "pttrns", "idt", "idts", "aprop", "asms", "any", "prop'", "num_const", "float_const", "index", "struct", - "id_position", "longid_position", "type_name", "class_name"]); + "id_position", "longid_position", "xstr_position", "type_name", "class_name"]);