diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 15:12:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 15:12:55 -0700 |
| commit | 2044caa97e108625647f0e335c15e75d07a4788c (patch) | |
| tree | 64e8fb21a0669a0c3a6df40666f7528ef59c05f9 /src | |
| parent | 48d867f77db72b70371a08f99e2e8771bbf007ff (diff) | |
| download | abc-2044caa97e108625647f0e335c15e75d07a4788c.tar.gz abc-2044caa97e108625647f0e335c15e75d07a4788c.tar.bz2 abc-2044caa97e108625647f0e335c15e75d07a4788c.zip | |
Compiler warnings.
Diffstat (limited to 'src')
| -rw-r--r-- | src/proof/ssc/sscUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/ssc/sscUtil.c b/src/proof/ssc/sscUtil.c index c4edaba6..0ced578f 100644 --- a/src/proof/ssc/sscUtil.c +++ b/src/proof/ssc/sscUtil.c @@ -52,7 +52,7 @@ Gia_Man_t * Gia_ManDropContained( Gia_Man_t * p ) Gia_Obj_t * pObj; Vec_Int_t * vLits, * vKeep; sat_solver * pSat; - int i, status, Count = 0; + int i, status;//, Count = 0; Aig_ManStop( pMan ); vLits = Vec_IntAlloc( Gia_ManPoNum(p) ); @@ -150,7 +150,7 @@ Gia_Man_t * Gia_ManOptimizeRing( Gia_Man_t * p ) pTemp = Gia_ManDupNormalize( pAux = pTemp ); Gia_ManStop( pAux ); Gia_ManSwapPos( pTemp, i ); - printf( "AIG%3d : " ); + printf( "AIG%3d : ", i ); Gia_ManPrintStats( pTemp, 0, 0, 0 ); } return pTemp; |