diff -r 179ff9cb160b -r 5b25fee0362c src/Pure/Syntax/syntax.ML
--- a/src/Pure/Syntax/syntax.ML	Wed Mar 04 10:43:39 2009 +0100
+++ b/src/Pure/Syntax/syntax.ML	Wed Mar 04 10:45:52 2009 +0100
@@ -390,7 +390,7 @@
 val basic_nonterms =
   (Lexicon.terminals @ [SynExt.logic, "type", "types", "sort", "classes",
     SynExt.args, SynExt.cargs, "pttrn", "pttrns", "idt", "idts", "aprop",
-    "asms", SynExt.any_, SynExt.sprop, "num_const", "float_const",
+    "asms", SynExt.any, SynExt.sprop, "num_const", "float_const",
     "index", "struct"]);