Bug fix in bit-blasting of remainder.

6f370462 · Alan Mishchenko · b87554b9 · 6f370462
Commit 6f370462 authored Apr 26, 2016 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/wlc/wlcBlast.c
+1 -1

No files found.
--- a/src/base/wlc/wlcBlast.c
+++ b/src/base/wlc/wlcBlast.c
@@ -1128,7 +1128,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds )
            else
                Wlc_BlastDivider( pNew, pArg0, nRangeMax, pArg1, nRangeMax, pObj->Type == WLC_OBJ_ARI_DIVIDE, vRes );
            Vec_IntShrink( vRes, nRange );
-            if ( pObj->Type == WLC_OBJ_ARI_DIVIDE )
+            //if ( pObj->Type == WLC_OBJ_ARI_DIVIDE )
                Wlc_BlastZeroCondition( pNew, pFans1, nRange1, vRes );
        }
        else if ( pObj->Type == WLC_OBJ_ARI_MINUS )