diff options
Diffstat (limited to 'src/aig/cnf')
| -rw-r--r-- | src/aig/cnf/cnfMan.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/cnf/cnfMan.c b/src/aig/cnf/cnfMan.c index 07c52b05..6b107651 100644 --- a/src/aig/cnf/cnfMan.c +++ b/src/aig/cnf/cnfMan.c @@ -334,8 +334,9 @@ void Cnf_DataWriteIntoFile( Cnf_Dat_t * p, char * pFileName, int fReadable ) SeeAlso [] ***********************************************************************/ -void * Cnf_DataWriteIntoSolverInt( sat_solver * pSat, Cnf_Dat_t * p, int nFrames, int fInit ) +void * Cnf_DataWriteIntoSolverInt( void * pSolver, Cnf_Dat_t * p, int nFrames, int fInit ) { + sat_solver * pSat = (sat_solver *)pSolver; int i, f, status; assert( nFrames > 0 ); assert( pSat ); |