From a797ea0cc71bb825403883c4cc237864135b14ab Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 2 Dec 2012 00:00:29 -0800 Subject: Enabling additional stat printouts. --- src/aig/gia/giaDup.c | 1 - 1 file changed, 1 deletion(-) (limited to 'src/aig/gia') diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 95de5c02..3d0b9bf3 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -457,7 +457,6 @@ void Gia_ManDupAppend( Gia_Man_t * pNew, Gia_Man_t * pTwo ) else if ( Gia_ObjIsCo(pObj) ) pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) ); } - return pNew; } /**Function************************************************************* -- cgit v1.2.3