From ef55bbc8e619f6ecca808695a772223c696612cc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 17 Jul 2014 15:38:12 -0700
Subject: Small changes in several packages.

---
 src/aig/gia/giaIf.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/aig/gia/giaIf.c')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index e316a2ee..1af21299 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -363,6 +363,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile )
             pLevels[i] = Abc_MaxInt( pLevels[i], pLevels[pFanins[2]] );
             LevelMax = Abc_MaxInt( LevelMax, pLevels[i] );
             nMuxF7++;
+            nFanins++;
             continue;
         }
         nLuts++;
@@ -406,8 +407,8 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile )
     Abc_Print( 1, "\n" );
 #endif
 
-    Gia_ManCountDupLut6( p );
-
+    if ( nMuxF7 )
+        Gia_ManCountDupLut6( p );
 
     if ( pDumpFile )
     {
-- 
cgit v1.2.3