diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-19 22:14:50 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-19 22:14:50 -0700 |
commit | 1e34a38b1666ee94cd4441c4889bb412bc813eba (patch) | |
tree | d4d21c0ab10a2c6ccae6714e2c182bda106cb6bf /src/proof | |
parent | 6ad94cd988dba45747068625598b4dca96b5b34a (diff) | |
download | abc-1e34a38b1666ee94cd4441c4889bb412bc813eba.tar.gz abc-1e34a38b1666ee94cd4441c4889bb412bc813eba.tar.bz2 abc-1e34a38b1666ee94cd4441c4889bb412bc813eba.zip |
g++ warnings.
Diffstat (limited to 'src/proof')
-rw-r--r-- | src/proof/llb/llb2Flow.c | 2 | ||||
-rw-r--r-- | src/proof/ssc/sscSim.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/llb/llb2Flow.c b/src/proof/llb/llb2Flow.c index f82fcf58..a04998fc 100644 --- a/src/proof/llb/llb2Flow.c +++ b/src/proof/llb/llb2Flow.c @@ -523,7 +523,7 @@ void Llb_ManCutPrint( Aig_Man_t * p, Vec_Ptr_t * vLower, Vec_Ptr_t * vUpper ) ***********************************************************************/ void Llb_ManResultPrint( Aig_Man_t * p, Vec_Ptr_t * vResult ) { - Vec_Ptr_t * vLower, * vUpper; + Vec_Ptr_t * vLower, * vUpper = NULL; int i; Vec_PtrForEachEntryReverse( Vec_Ptr_t *, vResult, vLower, i ) { diff --git a/src/proof/ssc/sscSim.c b/src/proof/ssc/sscSim.c index ae9a3eec..011e886a 100644 --- a/src/proof/ssc/sscSim.c +++ b/src/proof/ssc/sscSim.c @@ -179,7 +179,7 @@ void Ssc_GiaPrintPiPatterns( Gia_Man_t * p ) { Gia_Obj_t * pObj; word * pSimAig; - int i, nWords = Gia_ObjSimWords( p ); + int i;//, nWords = Gia_ObjSimWords( p ); Gia_ManForEachCi( p, pObj, i ) { pSimAig = Gia_ObjSimObj( p, pObj ); |