diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-01 15:47:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-01 15:47:55 -0800 |
| commit | d4291dab37a647ac3d8d0f4e91e571bbb4e3553b (patch) | |
| tree | 84c00511c7c6b3d21a8521cee25c8034fd5be464 /src/bdd/cudd/cuddInit.c | |
| parent | 624af674a0e7f1a675917afaaf371db6a5588821 (diff) | |
| download | abc-d4291dab37a647ac3d8d0f4e91e571bbb4e3553b.tar.gz abc-d4291dab37a647ac3d8d0f4e91e571bbb4e3553b.tar.bz2 abc-d4291dab37a647ac3d8d0f4e91e571bbb4e3553b.zip | |
Cumulative changes of the last two weeks.
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 */ |