Fixing a bug, which was accidentally introduced a few months while debugging Boolean decomposition

80d161af · Alan Mishchenko · 3fed7768 · 80d161af
Commit 80d161af authored May 02, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/bdd/reo/reoUnits.c
+2 -2

No files found.
--- 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*************************************************************