* src/closure.c (closure): `r' is unused.

diff --git a/ChangeLog b/ChangeLog
index ee91ab9bb2af2354ae6a87597d4eb0e0d49138a6..67f6f91f0c39e7ec93c3ff71f9e318a425cdef32 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2002-03-04  Akim Demaille  <akim@epita.fr>
+
+       * src/closure.c (closure): `r' is unused.
+
 2002-03-04  Akim Demaille  <akim@epita.fr>
 
        * tests/sets.at (Broken Closure): Add the ending `;'.

diff --git a/src/closure.c b/src/closure.c
index da9d4db3c71f5277d9b45675a2a6587d37701551..d45210e646f215b50d537e2bde9c094ebbf66e27 100644 (file)
--- a/src/closure.c
+++ b/src/closure.c
@@ -187,9 +187,6 @@ closure (short *core, int n)
   /* Index over CORE. */
   int c;
 
-  /* An index over RULESET. */
-  int r;
-
   /* A bit index over RULESET. */
   int ruleno;