Fixing mismatch in the TLS flow induced by adding cell configs in the DSD manager.

This commit is contained in:
Alan Mishchenko 2016-01-30 20:59:57 -08:00
parent 951ca48b9c
commit 367b20f04d
1 changed files with 1 additions and 1 deletions

View File

@ -1266,7 +1266,7 @@ void If_DsdManInvertMarks( If_DsdMan_t * p, int fVerbose )
If_DsdObj_t * pObj;
int i;
ABC_FREE( p->pCellStr );
Vec_WrdFreeP( &p->vConfigs );
//Vec_WrdFreeP( &p->vConfigs );
If_DsdVecForEachObj( &p->vObjs, pObj, i )
pObj->fMark = !pObj->fMark;
}