From 25db1d5ae0b8298c0eb410ee821fdc916f7a981d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 7 Jun 2013 00:40:00 -0500
Subject: New MFS package (bug fix).

---
 src/opt/sfm/sfmSat.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/opt/sfm/sfmSat.c b/src/opt/sfm/sfmSat.c
index 7e1635dd..f61ee798 100644
--- a/src/opt/sfm/sfmSat.c
+++ b/src/opt/sfm/sfmSat.c
@@ -142,9 +142,8 @@ int Sfm_NtkWindowToSolver( Sfm_Ntk_t * p )
     }
     // finalize
     RetValue = sat_solver_simplify( p->pSat );
-    assert( RetValue );
     p->timeCnf += Abc_Clock() - clk;
-    return 1;
+    return RetValue;
 } 
 
 /**Function*************************************************************
-- 
cgit v1.2.3