diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-23 14:01:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-23 14:01:09 -0800 |
| commit | 8281b56e9e2a6a9339fb2dc86711aa719055e014 (patch) | |
| tree | 0929a1f0ede9672ace6595f140ce0fb5909ea56f /src/proof/pdr/pdrCnf.c | |
| parent | 1c744cf10a193b52cc0e42a7bd81f05fcf2a02bb (diff) | |
| download | abc-8281b56e9e2a6a9339fb2dc86711aa719055e014.tar.gz abc-8281b56e9e2a6a9339fb2dc86711aa719055e014.tar.bz2 abc-8281b56e9e2a6a9339fb2dc86711aa719055e014.zip | |
Compiler warnings.
Diffstat (limited to 'src/proof/pdr/pdrCnf.c')
| -rw-r--r-- | src/proof/pdr/pdrCnf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/proof/pdr/pdrCnf.c b/src/proof/pdr/pdrCnf.c index 0f993e67..0b636a77 100644 --- a/src/proof/pdr/pdrCnf.c +++ b/src/proof/pdr/pdrCnf.c @@ -86,6 +86,7 @@ static inline int Pdr_ObjSatVar2FindOrAdd( Pdr_Man_t * p, int k, Aig_Obj_t * pOb int Lit = toLitCond( iVarNew, 1 ); int RetValue = sat_solver_addclause( pSat, &Lit, &Lit + 1 ); assert( RetValue == 1 ); + (void) RetValue; sat_solver_compress( pSat ); } } @@ -131,6 +132,7 @@ int Pdr_ObjSatVar2( Pdr_Man_t * p, int k, Aig_Obj_t * pObj ) } RetValue = sat_solver_addclause( pSat, Vec_IntArray(vLits), Vec_IntArray(vLits)+Vec_IntSize(vLits) ); assert( RetValue ); + (void) RetValue; } Vec_IntFree( vLits ); return iVarThis; |