From a4bca405978e500b7ef2b987d159e3b11b95905f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 14 Oct 2008 08:01:00 -0700
Subject: Version abc81014

---
 src/aig/mfx/mfxResub.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/aig/mfx')

diff --git a/src/aig/mfx/mfxResub.c b/src/aig/mfx/mfxResub.c
index 7179173b..006656ee 100644
--- a/src/aig/mfx/mfxResub.c
+++ b/src/aig/mfx/mfxResub.c
@@ -463,6 +463,9 @@ int Mfx_ResubNode( Mfx_Man_t * p, Nwk_Obj_t * pNode )
     }
     if ( Nwk_ObjFaninNum(pNode) == p->nFaninMax )
         return 0;
+
+    return 0; /// !!!!! temporary workaround
+
     // try replacing area critical fanins while adding two new fanins
     Nwk_ObjForEachFanin( pNode, pFanin, i )
         if ( !Nwk_ObjIsCi(pFanin) && Nwk_ObjFanoutNum(pFanin) == 1 )
-- 
cgit v1.2.3