diff options
Diffstat (limited to 'src/bdd/cudd/cuddUtil.c')
-rw-r--r-- | src/bdd/cudd/cuddUtil.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddUtil.c b/src/bdd/cudd/cuddUtil.c index d5fa18e2..bc1a17eb 100644 --- a/src/bdd/cudd/cuddUtil.c +++ b/src/bdd/cudd/cuddUtil.c @@ -1357,7 +1357,8 @@ Cudd_bddPickArbitraryMinterms( DdNode **old, *neW; double minterms; char *saveString; - int saveFlag, savePoint, isSame; + int saveFlag, isSame; + int savePoint = 0; // Suppress "might be used uninitialized" minterms = Cudd_CountMinterm(dd,f,n); if ((double)k > minterms) { |