--- a/src/Pure/Syntax/syntax.ML Thu Apr 04 10:30:28 2013 +0200
+++ b/src/Pure/Syntax/syntax.ML Thu Apr 04 12:06:23 2013 +0200
@@ -543,7 +543,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", "tid_position",
- "tvar_position", "id_position", "longid_position", "str_position",
+ "tvar_position", "id_position", "longid_position", "var_position", "str_position",
"type_name", "class_name"];