diff --git a/ChangeLog b/ChangeLog
index 969bf196..1cc44d69 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2001-12-29  Akim Demaille  <akim@epita.fr>
+
+	* src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
+	ago.
+
+	
 2001-12-29  Akim Demaille  <akim@epita.fr>
 
 	* src/reader.c, src/reader.h (user_toknums): Remove.
diff --git a/src/gram.c b/src/gram.c
index adc0e203..a67bf2e2 100644
--- a/src/gram.c
+++ b/src/gram.c
@@ -36,9 +36,6 @@ short *ritem = NULL;
 int nritems;
 
 rule_t *rule_table = NULL;
-short *rprec = NULL;
-short *rprecsym = NULL;
-short *rassoc = NULL;
 
 struct bucket **symbols = NULL;
 short *token_translations = NULL;