summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-04-14 20:47:26 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2019-04-14 20:47:26 -0700
commit1b59ec57da3f6299f7c0e40aee5546c748b57e41 (patch)
tree290dcb8a14c440e1c2cb7a4eafad5aac537accb3
parent812821554c0809b2a61d2c2882dbbbd8e8b1a784 (diff)
downloadabc-1b59ec57da3f6299f7c0e40aee5546c748b57e41.tar.gz
abc-1b59ec57da3f6299f7c0e40aee5546c748b57e41.tar.bz2
abc-1b59ec57da3f6299f7c0e40aee5546c748b57e41.zip
Adding miter construction with one bit-level output for each pair of word-level outputs (small fix).
-rw-r--r--src/aig/gia/giaHash.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaHash.c b/src/aig/gia/giaHash.c
index 7da223ca..64e39613 100644
--- a/src/aig/gia/giaHash.c
+++ b/src/aig/gia/giaHash.c
@@ -808,7 +808,7 @@ int Gia_ManHashAndMulti2( Gia_Man_t * p, Vec_Int_t * vLits )
}
int Gia_ManHashDualMiter( Gia_Man_t * p, Vec_Int_t * vOuts )
{
- int i, iLit0, iLit1, iRes = 1;
+ int i, iLit0, iLit1, iRes = 0;
Vec_IntForEachEntryDouble( vOuts, iLit0, iLit1, i )
iRes = Gia_ManHashOr( p, iRes, Gia_ManHashXor(p, iLit0, iLit1) );
return iRes;