diff options
Diffstat (limited to 'src/map/if/ifDelay.c')
| -rw-r--r-- | src/map/if/ifDelay.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/map/if/ifDelay.c b/src/map/if/ifDelay.c index f2e8399a..dc4afee0 100644 --- a/src/map/if/ifDelay.c +++ b/src/map/if/ifDelay.c @@ -466,8 +466,7 @@ int If_CutPinDelaysSopArray3IntInt( Vec_Int_t * vCover, int * pTimes, int nSuppA Vec_IntForEachEntry( vCover, Entry, i ) { nCounterAnd = 0; -// for ( k = 0; k < nSuppAll; k++ ) - for ( k = nSuppAll-1; k >= 0; k-- ) + for ( k = 0; k < nSuppAll; k++ ) { Literal = 3 & (Entry >> (k << 1)); if ( Literal == 1 || Literal == 2 ) // neg or pos literal |