diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index f70f2177a..f2cdc7640 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -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; }