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.

---
 Makefile                    | 3 +--
 src/bdd/cudd/cuddSymmetry.c | 2 +-
 src/bdd/cudd/cuddZddSymm.c  | 2 +-
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 1a4698f7..28334f47 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,6 @@
 CC   := gcc
 CXX  := g++
 LD   := g++
-CP   := cp
 
 PROG := abc
 
@@ -40,7 +39,7 @@ OPTFLAGS  := -g -O #-DABC_NAMESPACE=xxx
 CFLAGS   += -Wall -Wno-unused-function $(OPTFLAGS) $(ARCHFLAGS) -I$(PWD)/src
 
 #ifeq ($(shell $(CC) -dumpversion | awk '{FS="."; print ($$1>=4 && $$2>=6)}'),1)
-# Set -Wno-unused-bug-set-variable for GCC 4.6.0 and greater only
+# Set -Wno-unused-but-set-variable for GCC 4.6.0 and greater only
 CFLAGS += -Wno-unused-but-set-variable
 #endif
 
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
-- 
cgit v1.2.3