From 1b59ec57da3f6299f7c0e40aee5546c748b57e41 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 14 Apr 2019 20:47:26 -0700 Subject: Adding miter construction with one bit-level output for each pair of word-level outputs (small fix). --- src/aig/gia/giaHash.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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; -- cgit v1.2.3