From 2fd3c1a25bb7a7ce334d2de5bac96bce446855d8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 20 Aug 2006 08:01:00 -0700 Subject: Version abc60820 --- src/temp/ivy/ivyTable.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/temp/ivy/ivyTable.c') diff --git a/src/temp/ivy/ivyTable.c b/src/temp/ivy/ivyTable.c index fe9c3570..2ac0ae49 100644 --- a/src/temp/ivy/ivyTable.c +++ b/src/temp/ivy/ivyTable.c @@ -167,7 +167,7 @@ void Ivy_TableUpdate( Ivy_Man_t * p, Ivy_Obj_t * pObj, int ObjIdNew ) return; pPlace = Ivy_TableFind( p, pObj ); assert( *pPlace == pObj->Id ); // node should be in the table - *pPlace = ObjIdNew; + *pPlace = ObjIdNew; } /**Function************************************************************* @@ -203,7 +203,7 @@ int Ivy_TableCountEntries( Ivy_Man_t * p ) void Ivy_TableResize( Ivy_Man_t * p ) { int * pTableOld, * pPlace; - int nTableSizeOld, Counter, e, clk; + int nTableSizeOld, Counter, nEntries, e, clk; clk = clock(); // save the old table pTableOld = p->pTable; @@ -224,7 +224,8 @@ clk = clock(); assert( *pPlace == 0 ); // should not be in the table *pPlace = pTableOld[e]; } - assert( Counter == Ivy_ManHashObjNum(p) ); + nEntries = Ivy_ManHashObjNum(p); +// assert( Counter == nEntries ); // printf( "Increasing the structural table size from %6d to %6d. ", nTableSizeOld, p->nTableSize ); // PRT( "Time", clock() - clk ); // replace the table and the parameters -- cgit v1.2.3