summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-08-29 17:31:14 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-08-29 17:31:14 -0700
commitc84f26c9b1c769f80749f6a1e1e499f7a27c3f95 (patch)
tree5bca64470ba08d32874f2cd403436b851c1baed9
parentb2b93858ee5e1634887eb4e22653e3f3242a2a79 (diff)
downloadabc-c84f26c9b1c769f80749f6a1e1e499f7a27c3f95.tar.gz
abc-c84f26c9b1c769f80749f6a1e1e499f7a27c3f95.tar.bz2
abc-c84f26c9b1c769f80749f6a1e1e499f7a27c3f95.zip
Compiler warnings.
-rw-r--r--src/bdd/cudd/cuddTable.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddTable.c b/src/bdd/cudd/cuddTable.c
index ae002b17..04af1991 100644
--- a/src/bdd/cudd/cuddTable.c
+++ b/src/bdd/cudd/cuddTable.c
@@ -2531,7 +2531,7 @@ ddResizeTable(
int oldsize,newsize;
int i,j,reorderSave;
int numSlots = unique->initSlots;
- int *newperm, *newinvperm, *newmap;
+ int *newperm, *newinvperm, *newmap = NULL;
DdNode *one, *zero;
oldsize = unique->size;