diff options
Diffstat (limited to 'src/base/wlc/wlcAbs.c')
-rw-r--r-- | src/base/wlc/wlcAbs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index b3ac623e..390770ea 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -1511,7 +1511,7 @@ int Wla_ManSolve( Wla_Man_t * pWla, Aig_Man_t * pAig ) assert( Vec_VecSize( pWla->vClauses) >= 2 ); if ( pWla->fNewAbs ) - IPdr_ManRebuildClauses( pPdr, pWla->vClauses ); + IPdr_ManRebuildClauses( pPdr, pWla->pPars->fShrinkScratch ? NULL : pWla->vClauses ); else IPdr_ManRestoreClauses( pPdr, pWla->vClauses, NULL ); |