[buddy] remove some unused variables

* src/reorder.c (reorder_win2ite): Do not set c=1.
This commit is contained in:
Alexandre Duret-Lutz 2022-05-17 11:37:29 +02:00
parent 4bb58f457b
commit 5dab2ede41

View file

@ -210,7 +210,6 @@ static BddTree *reorder_win2ite(BddTree *t)
{
BddTree *this, *first=t;
int lastsize;
int c=1;
if (t == NULL)
return t;
@ -246,7 +245,6 @@ static BddTree *reorder_win2ite(BddTree *t)
if (verbose > 1)
printf(" %d nodes\n", reorder_nodenum());
c++;
}
while (reorder_nodenum() != lastsize);