summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-02-10 17:40:34 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2017-02-10 17:40:34 -0800
commit1bdbea66120292d821fc594b9a6637135bde6244 (patch)
treed51de58204cc1fe1b0337350e4ba8fcbd3e7b045 /src/aig/gia
parent8bff9aa1cd118028db47d886254dc4c76c516166 (diff)
downloadabc-1bdbea66120292d821fc594b9a6637135bde6244.tar.gz
abc-1bdbea66120292d821fc594b9a6637135bde6244.tar.bz2
abc-1bdbea66120292d821fc594b9a6637135bde6244.zip
Compiler warnings.
Diffstat (limited to 'src/aig/gia')
-rw-r--r--src/aig/gia/giaDup.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c
index 2a0fe6e3..56d1d29d 100644
--- a/src/aig/gia/giaDup.c
+++ b/src/aig/gia/giaDup.c
@@ -252,12 +252,12 @@ Gia_Man_t * Gia_ManDupAbs( Gia_Man_t * p, Vec_Int_t * vMapPpi2Ff, Vec_Int_t * vM
}
Vec_IntForEachEntry( vMapFf2Ppi, Used, Flop )
{
+ pObj = Gia_ManCi( p, Gia_ManPiNum(p) + Flop );
if ( Used >= 0 )
{
assert( pObj->Value != ~0 );
continue;
}
- pObj = Gia_ManCi( p, Gia_ManPiNum(p) + Flop );
assert( pObj->Value == ~0 );
pObj->Value = Gia_ManAppendCi(pNew);
}