diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-07 08:57:08 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-07 08:57:08 +0700 |
commit | 460167ec747aed778bfc13f2040dd8a205169fa2 (patch) | |
tree | 22df62d47e07a2c034caa595e1a0c69e872c20f0 /src/proof/acec/acecCo.c | |
parent | 5c9983d089c9cac4eb71bb5ce38838cd47b29d62 (diff) | |
download | abc-460167ec747aed778bfc13f2040dd8a205169fa2.tar.gz abc-460167ec747aed778bfc13f2040dd8a205169fa2.tar.bz2 abc-460167ec747aed778bfc13f2040dd8a205169fa2.zip |
Compiler warnings.
Diffstat (limited to 'src/proof/acec/acecCo.c')
-rw-r--r-- | src/proof/acec/acecCo.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/acec/acecCo.c b/src/proof/acec/acecCo.c index 1e8ed7bb..a997eb03 100644 --- a/src/proof/acec/acecCo.c +++ b/src/proof/acec/acecCo.c @@ -109,7 +109,7 @@ Vec_Int_t * Gia_PolynCoreOrder_int( Gia_Man_t * pGia, Vec_Int_t * vAdds, Vec_Wec { Vec_Int_t * vOrder = Vec_IntAlloc( 1000 ); Vec_Bit_t * vIsRoot = Vec_BitStart( Gia_ManObjNum(pGia) ); - int i, k, Index, Driver, Entry1, Entry2 = -1; + int i, k, Index = -1, Driver, Entry1, Entry2 = -1; // mark roots Vec_IntForEachEntry( vRoots, Driver, i ) Vec_BitWriteEntry( vIsRoot, Driver, 1 ); |