From 84a277b49170df409d11d2445b296f4629cc8d75 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 29 Jun 2016 15:37:37 -0700
Subject: Bug fix in blasting shifters with large bit-width.

---
 src/base/wlc/wlcBlast.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base')

diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c
index 3327e909..ade1e85b 100644
--- a/src/base/wlc/wlcBlast.c
+++ b/src/base/wlc/wlcBlast.c
@@ -145,7 +145,7 @@ void Wlc_BlastShiftRight( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift,
     int nShiftMax = Abc_Base2Log(nNum);
     int * pShiftNew = ABC_ALLOC( int, nShift );
     memcpy( pShiftNew, pShift, sizeof(int)*nShift );
-    if ( nShiftMax < nShift && nShift > 30 )
+    if ( nShiftMax < nShift )
     {
         int i, iRes = pShiftNew[nShiftMax];
         for ( i = nShiftMax + 1; i < nShift; i++ )
-- 
cgit v1.2.3