diff options
Diffstat (limited to 'src/proof/ssc/sscSat.c')
-rw-r--r-- | src/proof/ssc/sscSat.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/ssc/sscSat.c b/src/proof/ssc/sscSat.c index f6d5e9af..1de99c2e 100644 --- a/src/proof/ssc/sscSat.c +++ b/src/proof/ssc/sscSat.c @@ -260,7 +260,7 @@ p->timeCnfGen += clock() - clk; ***********************************************************************/ void Ssc_ManStartSolver( Ssc_Man_t * p ) { - Aig_Man_t * pMan = Gia_ManToAig( p->pFraig, 0 ); + Aig_Man_t * pMan = Gia_ManToAigSimple( p->pFraig ); Cnf_Dat_t * pDat = Cnf_Derive( pMan, 0 ); Gia_Obj_t * pObj; sat_solver * pSat; |