diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-14 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-14 08:01:00 -0700 |
commit | ff6f0943362c30176fd1f961bcbd19e188cee520 (patch) | |
tree | fc2b888c8403ee04fb7d473433c1eb3bcc5ef8c5 /src/map/if/ifTime.c | |
parent | 6205eaaee3a840dd076f9baaac67720d85d6a680 (diff) | |
download | abc-ff6f0943362c30176fd1f961bcbd19e188cee520.tar.gz abc-ff6f0943362c30176fd1f961bcbd19e188cee520.tar.bz2 abc-ff6f0943362c30176fd1f961bcbd19e188cee520.zip |
Version abc80314
Diffstat (limited to 'src/map/if/ifTime.c')
-rw-r--r-- | src/map/if/ifTime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c index 33bbdf74..59322cad 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -238,7 +238,7 @@ void If_CutRotatePins( If_Man_t * p, If_Cut_t * pCut ) float PinDelays[32]; // int PinPerm[32]; int i; - assert( p->pPars->pLutLib && p->pPars->pLutLib->fVarPinDelays && p->pPars->fTruth ); +// assert( p->pPars->pLutLib && p->pPars->pLutLib->fVarPinDelays && p->pPars->fTruth ); If_CutForEachLeaf( p, pCut, pLeaf, i ) PinDelays[i] = If_ObjCutBest(pLeaf)->Delay; If_CutTruthPermute( p->puTemp[0], If_CutTruth(pCut), If_CutLeaveNum(pCut), PinDelays, If_CutLeaves(pCut) ); |