From 2b85ef06e5490e4b1d8bdc450b13052fcd91a4d0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Oct 2013 13:45:00 -0400
Subject: Compiler warnings.

---
 src/bdd/cudd/cuddSymmetry.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/bdd')

diff --git a/src/bdd/cudd/cuddSymmetry.c b/src/bdd/cudd/cuddSymmetry.c
index c2b1e858..e6f49da4 100644
--- a/src/bdd/cudd/cuddSymmetry.c
+++ b/src/bdd/cudd/cuddSymmetry.c
@@ -1632,7 +1632,6 @@ ddSymmSiftingBackward(
     Move *move;
     int  res = -1;
 
-    size = size;
     for (move = moves; move != NULL; move = move->next) {
         if (move->size < size) {
             size = move->size;
-- 
cgit v1.2.3