Revert the previous patch.

This commit is contained in:
Akim Demaille
2002-02-05 10:04:24 +00:00
parent beda758b1f
commit 8e86444744
2 changed files with 3 additions and 2 deletions

View File

@@ -195,6 +195,9 @@ closure (short *core, int n)
/* Index over CORE. */
int c;
/* An index over RULESET. */
int r;
/* A bit index over RULESET. */
int ruleno;