From 46370974917ac8fc9ea4d0f864fcb15721d5c591 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 6 Oct 2012 15:12:39 -0700
Subject: New AIG optimization package.

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

(limited to 'src/bdd')

diff --git a/src/bdd/cudd/cuddSymmetry.c b/src/bdd/cudd/cuddSymmetry.c
index 129b43d9..76a9611c 100644
--- a/src/bdd/cudd/cuddSymmetry.c
+++ b/src/bdd/cudd/cuddSymmetry.c
@@ -1632,6 +1632,7 @@ 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