diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/sfm/sfmSat.c | 3 |
1 files changed, 1 insertions, 2 deletions
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************************************************************* |