2 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/cudd/cuddSymmetry.c b/src/bdd/cudd/cuddSymmetry.c
index 76a9611c..5813f123 100644
--- a/src/bdd/cudd/cuddSymmetry.c
+++ b/src/bdd/cudd/cuddSymmetry.c
@@ -1558,7 +1558,7 @@ ddSymmGroupMoveBackward(
   int  x,
   int  y)
 {
-    int size;
+    int size = -1;
     int i,j;
     int xtop,xbot,xsize,ytop,ybot,ysize,newxtop;
 
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