From 2a214a9283e4a5e1540f64a0c29c11f505f7c464 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 11 Feb 2011 09:10:34 -0800
Subject: Bug fix in zeropo.

---
 src/base/abc/abcNtk.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c
index 166d79e6..821cca4c 100644
--- a/src/base/abc/abcNtk.c
+++ b/src/base/abc/abcNtk.c
@@ -1464,6 +1464,11 @@ void Abc_NtkDropOneOutput( Abc_Ntk_t * pNtk, int iOutput )
 {
     Abc_Obj_t * pObj, * pConst0, * pFaninNew;
     pObj = Abc_NtkPo( pNtk, iOutput );
+    if ( Abc_ObjFanin0(pObj) == Abc_AigConst1(pNtk) && !Abc_ObjFaninC0(pObj) )
+    {
+        Abc_ObjXorFaninC( pObj, 0 );
+        return;
+    }
     pConst0 = Abc_ObjNot( Abc_AigConst1(pNtk) );
     pFaninNew = Abc_ObjNotCond( pConst0, Abc_ObjFaninC0(pObj) );
     Abc_ObjPatchFanin( pObj, Abc_ObjFanin0(pObj), pFaninNew );
-- 
cgit v1.2.3