From 564801f7958888947a9b82d3018b8cd4498fdc45 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@epita.fr>
Date: Mon, 4 Mar 2002 14:13:12 +0000
Subject: [PATCH] * src/closure.c (closure): `r' is unused.

---
 ChangeLog     | 4 ++++
 src/closure.c | 3 ---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index ee91ab9b..67f6f91f 100644
--- 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 da9d4db3..d45210e6 100644
--- 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;
 
-- 
2.47.2