diff options
Diffstat (limited to 'src/bdd/cudd/cuddInit.c')
-rw-r--r-- | src/bdd/cudd/cuddInit.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddInit.c b/src/bdd/cudd/cuddInit.c index 43b2ac29..6be35970 100644 --- a/src/bdd/cudd/cuddInit.c +++ b/src/bdd/cudd/cuddInit.c @@ -174,7 +174,8 @@ Cudd_Init( unique->memused += sizeof(DdNode *) * unique->maxSize; - unique->bReached = NULL; + unique->bFunc = NULL; + unique->bFunc2 = NULL; return(unique); } /* end of Cudd_Init */ |