diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-25 16:55:39 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-25 16:55:39 -0700 |
commit | 47dde4e4789c4c068f3c8ebe77a5a629da48936b (patch) | |
tree | bf6af774173dedb5470dd376af14883ee2868e71 /src/map | |
parent | cbbf78e6f4d8acd32b0afcdc0e4e87bc318a2590 (diff) | |
download | abc-47dde4e4789c4c068f3c8ebe77a5a629da48936b.tar.gz abc-47dde4e4789c4c068f3c8ebe77a5a629da48936b.tar.bz2 abc-47dde4e4789c4c068f3c8ebe77a5a629da48936b.zip |
Correcting incorrect handling of timing in several &-commands.
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/if/ifMap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index b2063f88..2b2d1758 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -99,7 +99,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep If_Cut_t * pCut0R, * pCut1R; int fFunc0R, fFunc1R; int i, k, v, iCutDsd, fChange; - int fSave0 = p->pPars->fDelayOpt || p->pPars->fDelayOptLut || p->pPars->fDsdBalance || p->pPars->fUserRecLib; + int fSave0 = p->pPars->fDelayOpt || p->pPars->fDelayOptLut || p->pPars->fDsdBalance || p->pPars->fUserRecLib || p->pPars->pLutStruct != NULL; assert( !If_ObjIsAnd(pObj->pFanin0) || pObj->pFanin0->pCutSet->nCuts > 0 ); assert( !If_ObjIsAnd(pObj->pFanin1) || pObj->pFanin1->pCutSet->nCuts > 0 ); |