diff options
Diffstat (limited to 'src/aig/int/intUtil.c')
| -rw-r--r-- | src/aig/int/intUtil.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/aig/int/intUtil.c b/src/aig/int/intUtil.c index c0dc9ddb..0d8beda5 100644 --- a/src/aig/int/intUtil.c +++ b/src/aig/int/intUtil.c @@ -20,6 +20,9 @@ #include "intInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -47,7 +50,7 @@ int Inter_ManCheckInitialState( Aig_Man_t * p ) int status; int clk = clock(); pCnf = Cnf_Derive( p, Saig_ManRegNum(p) ); - pSat = Cnf_DataWriteIntoSolver( pCnf, 1, 1 ); + pSat = (sat_solver *)Cnf_DataWriteIntoSolver( pCnf, 1, 1 ); Cnf_DataFree( pCnf ); if ( pSat == NULL ) return 0; @@ -75,7 +78,7 @@ int Inter_ManCheckAllStates( Aig_Man_t * p ) int status; int clk = clock(); pCnf = Cnf_Derive( p, Saig_ManRegNum(p) ); - pSat = Cnf_DataWriteIntoSolver( pCnf, 1, 0 ); + pSat = (sat_solver *)Cnf_DataWriteIntoSolver( pCnf, 1, 0 ); Cnf_DataFree( pCnf ); if ( pSat == NULL ) return 1; @@ -90,3 +93,5 @@ int Inter_ManCheckAllStates( Aig_Man_t * p ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |