+2001-12-29 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c, src/reader.h (user_toknums): Remove.
+ Adjust all users to use symbols[i]->user_token_number.
+
+
2001-12-29 Akim Demaille <akim@epita.fr>
* src/gram.c, src/gram.h (sprec, sassoc): Remove.