From ccd1b57264d3bf1514410747cdcf6e4731ac7f2a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 10 Apr 2009 08:01:00 -0700 Subject: Version abc90410 --- src/aig/dch/dchAig.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/dch/dchAig.c') diff --git a/src/aig/dch/dchAig.c b/src/aig/dch/dchAig.c index 239ece18..d38a1304 100644 --- a/src/aig/dch/dchAig.c +++ b/src/aig/dch/dchAig.c @@ -72,7 +72,7 @@ Aig_Man_t * Dch_DeriveTotalAig( Vec_Ptr_t * vAigs ) { assert( Aig_ManPiNum(pAig) == Aig_ManPiNum(pAig2) ); assert( Aig_ManPoNum(pAig) == Aig_ManPoNum(pAig2) ); - nNodes += Aig_ManNodeNum(pAig); + nNodes += Aig_ManNodeNum(pAig2); Aig_ManCleanData( pAig2 ); } // map constant nodes -- cgit v1.2.3