diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-02 20:51:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-02 20:51:46 -0700 |
| commit | 80d161afaa335c4289e6f7057b6657e660ed87e7 (patch) | |
| tree | 65381a362feca3807b4c13f427fe29b89fbbf271 | |
| parent | 3fed776860e2b4439ea503dc8d59fb12b5ff5440 (diff) | |
| download | abc-80d161afaa335c4289e6f7057b6657e660ed87e7.tar.gz abc-80d161afaa335c4289e6f7057b6657e660ed87e7.tar.bz2 abc-80d161afaa335c4289e6f7057b6657e660ed87e7.zip | |
Fixing a bug, which was accidentally introduced a few months while debugging Boolean decomposition
| -rw-r--r-- | src/bdd/reo/reoUnits.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/reo/reoUnits.c b/src/bdd/reo/reoUnits.c index 7e57ff35..151d4cb4 100644 --- a/src/bdd/reo/reoUnits.c +++ b/src/bdd/reo/reoUnits.c @@ -97,8 +97,8 @@ void reoUnitsRecycleUnitList( reo_man * p, reo_plane * pPlane ) pTail = pUnit; pTail->Next = p->pUnitFreeList; p->pUnitFreeList = pPlane->pHead; -// memset( pPlane, 0, sizeof(reo_plane) ); - pPlane->pHead = NULL; + memset( pPlane, 0, sizeof(reo_plane) ); +// pPlane->pHead = NULL; } /**Function************************************************************* |