From 37b6c727f1276d9d97a79a8f40271aee446a4ba4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 12 May 2008 20:01:00 -0700
Subject: Version abc80512_2

---
 src/aig/fra/fraCore.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/aig/fra')

diff --git a/src/aig/fra/fraCore.c b/src/aig/fra/fraCore.c
index 75de8a71..11e69b59 100644
--- a/src/aig/fra/fraCore.c
+++ b/src/aig/fra/fraCore.c
@@ -77,6 +77,12 @@ int Fra_FraigMiterStatus( Aig_Man_t * p )
             CountNonConst0++;
             continue;
         }
+        // check if the output is a primary input
+        if ( p->nRegs == 0 && Aig_ObjIsPi(Aig_Regular(pChild)) )
+        {
+            CountNonConst0++;
+            continue;
+        }
         // check if the output can be not constant 0
         if ( Aig_Regular(pChild)->fPhase != (unsigned)Aig_IsComplement(pChild) )
         {
-- 
cgit v1.2.3