diff options
Diffstat (limited to 'src/aig/fra/fraCec.c')
-rw-r--r-- | src/aig/fra/fraCec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fraCec.c b/src/aig/fra/fraCec.c index 3e69e02f..bdab25dd 100644 --- a/src/aig/fra/fraCec.c +++ b/src/aig/fra/fraCec.c @@ -54,7 +54,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, sint64 nConfLimit, sint64 nInsLimit, int fVe pCnf = Cnf_Derive( pMan, 0 ); // pCnf = Cnf_DeriveSimple( pMan, 0 ); // convert into the SAT solver - pSat = Cnf_DataWriteIntoSolver( pCnf ); + pSat = Cnf_DataWriteIntoSolver( pCnf, 1, 0 ); vCiIds = Cnf_DataCollectPiSatNums( pCnf, pMan ); Cnf_DataFree( pCnf ); // solve SAT |