diff options
Diffstat (limited to 'src/bdd/cudd/cuddZddReord.c')
| -rw-r--r-- | src/bdd/cudd/cuddZddReord.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/cudd/cuddZddReord.c b/src/bdd/cudd/cuddZddReord.c index 8a7ae526..8a1d14cb 100644 --- a/src/bdd/cudd/cuddZddReord.c +++ b/src/bdd/cudd/cuddZddReord.c @@ -495,7 +495,7 @@ cuddZddSwapInPlace( int i; int posn; DdNode *f, *f1, *f0, *f11, *f10, *f01, *f00; - DdNode *newf1, *newf0, *next; + DdNode *newf1=NULL, *newf0, *next; DdNodePtr g, *lastP, *previousP; #ifdef DD_DEBUG @@ -756,7 +756,7 @@ cuddZddSwapping( int iterate; int previousSize; Move *moves, *move; - int pivot; + int pivot = -1; int modulo; int result; |