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);