From 034fc5a14dcbc2e195743a2fb8a640d9a6448ff5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 21 May 2012 23:52:05 +0700 Subject: Misc changes. --- src/aig/gia/giaUtil.c | 4 ++-- src/map/if/ifDec16.c | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 333fe58e..d55f581a 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -992,8 +992,8 @@ void Gia_ManVerifyChoices( Gia_Man_t * p ) printf( "Fanin 0 of CO node %d has a repr.\n", i ), fProb = 1; } } - if ( !fProb ) - printf( "GIA with choices is correct.\n" ); +// if ( !fProb ) +// printf( "GIA with choices is correct.\n" ); } /**Function************************************************************* diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index cedf4f06..d189da89 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -2054,7 +2054,8 @@ int If_CutPerformCheck16( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave if ( If_CutTruthMinimize( p, pCut ) >= 2 ) return 0; nLeaves = pCut->nLeaves; - If_CluCopy( (word *)pTruth, (word *)If_CutTruth(pCut), nVars ); +// If_CluCopy( (word *)pTruth, (word *)If_CutTruth(pCut), nVars ); + pTruth = If_CutTruth(pCut); } // quit if parameters are wrong -- cgit v1.2.3