diff options
| -rw-r--r-- | src/base/cba/cbaCom.c | 2 | ||||
| -rw-r--r-- | src/base/cba/cbaPrs.h | 2 | ||||
| -rw-r--r-- | src/proof/int/intUtil.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cba/cbaCom.c b/src/base/cba/cbaCom.c index 93c1b397..2ae0b76e 100644 --- a/src/base/cba/cbaCom.c +++ b/src/base/cba/cbaCom.c @@ -251,7 +251,7 @@ usage: int Cba_CommandBlast( Abc_Frame_t * pAbc, int argc, char ** argv ) { Cba_Ntk_t * pNtk = Cba_AbcGetNtk(pAbc); - Vec_Int_t * vBoxIds = NULL; + //Vec_Int_t * vBoxIds = NULL; Gia_Man_t * pNew = NULL; int c, fMulti = 0, fVerbose = 0; Extra_UtilGetoptReset(); diff --git a/src/base/cba/cbaPrs.h b/src/base/cba/cbaPrs.h index dad10a7a..1418ffdb 100644 --- a/src/base/cba/cbaPrs.h +++ b/src/base/cba/cbaPrs.h @@ -104,7 +104,7 @@ struct Cba_Prs_t_ static inline int Cba_PrsErrorSet( Cba_Prs_t * p, char * pError, int Value ) { assert( !p->ErrorStr[0] ); - sprintf( p->ErrorStr, pError ); + sprintf( p->ErrorStr, "%s", pError ); return Value; } // print error message diff --git a/src/proof/int/intUtil.c b/src/proof/int/intUtil.c index a70656c1..2aa165fb 100644 --- a/src/proof/int/intUtil.c +++ b/src/proof/int/intUtil.c @@ -49,7 +49,7 @@ int Inter_ManCheckInitialState( Aig_Man_t * p ) Aig_Obj_t * pObj; sat_solver * pSat; int i, status; - abctime clk = Abc_Clock(); + //abctime clk = Abc_Clock(); pCnf = Cnf_Derive( p, Saig_ManRegNum(p) ); pSat = (sat_solver *)Cnf_DataWriteIntoSolver( pCnf, 1, 1 ); if ( pSat == NULL ) |