From a1ceb7617cd8421f2d759552b6bd80fc3d04ee12 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 5 May 2013 09:06:53 -0700
Subject: Making changes suggested by Mark Jarvin.

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

(limited to 'src/bdd/cudd/cuddZddSymm.c')

diff --git a/src/bdd/cudd/cuddZddSymm.c b/src/bdd/cudd/cuddZddSymm.c
index 652548e4..bdc5e656 100644
--- a/src/bdd/cudd/cuddZddSymm.c
+++ b/src/bdd/cudd/cuddZddSymm.c
@@ -1590,7 +1590,7 @@ zdd_group_move_backward(
   int  x,
   int  y)
 {
-    int        size;
+    int        size = -1;
     int        i, temp, gxtop, gxbot, gybot, yprev;
 
 #ifdef DD_DEBUG
-- 
cgit v1.2.3