From 5dab2ede416e8e66583984988e857006b8e76baa Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 17 May 2022 11:37:29 +0200
Subject: [PATCH] [buddy] remove some unused variables

* src/reorder.c (reorder_win2ite): Do not set c=1.
---
 buddy/src/reorder.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/buddy/src/reorder.c b/buddy/src/reorder.c
index d61630801..b107c8b6a 100644
--- a/buddy/src/reorder.c
+++ b/buddy/src/reorder.c
@@ -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);