From 303baf27cf34c2a57db97c4c567fd744241fa14b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Jul 2008 08:01:00 -0700
Subject: Version abc80702

---
 src/aig/csw/cswCut.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/csw')

diff --git a/src/aig/csw/cswCut.c b/src/aig/csw/cswCut.c
index b3b7152b..a3d9b04e 100644
--- a/src/aig/csw/cswCut.c
+++ b/src/aig/csw/cswCut.c
@@ -555,7 +555,7 @@ p->timeCuts += clock() - clk;
         }
         if ( nVars == 2 && nFanins > 2 && fUseResub )
         {
-            if ( pObjNew = Csw_ObjTwoVarCut( p, pCut ) )
+            if ( (pObjNew = Csw_ObjTwoVarCut( p, pCut )) )
             {
                 p->nNodesTriv2++;
                 return pObjNew;
-- 
cgit v1.2.3