diff options
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index fbace4ab..79ad3659 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -148,7 +148,7 @@ void Wlc_BlastShiftRight( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, int i, iRes = pShift[nShiftMax]; for ( i = nShiftMax + 1; i < nShift; i++ ) iRes = Gia_ManHashOr( pNew, iRes, pShift[i] ); - pShift[nShiftMax] = iRes; + pShift[nShiftMax++] = iRes; } else nShiftMax = nShift; @@ -181,7 +181,7 @@ void Wlc_BlastShiftLeft( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, i int i, iRes = pShift[nShiftMax]; for ( i = nShiftMax + 1; i < nShift; i++ ) iRes = Gia_ManHashOr( pNew, iRes, pShift[i] ); - pShift[nShiftMax] = iRes; + pShift[nShiftMax++] = iRes; } else nShiftMax = nShift; |