From 14c01eaccab87d14d1bd0eaa3fc491026349665e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 18 Dec 2007 08:01:00 -0800
Subject: Version abc71218

---
 src/opt/res/resCore.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/opt/res')

diff --git a/src/opt/res/resCore.c b/src/opt/res/resCore.c
index 27e9b3ea..aa0eaeec 100644
--- a/src/opt/res/resCore.c
+++ b/src/opt/res/resCore.c
@@ -246,6 +246,8 @@ int Abc_NtkResynthesize( Abc_Ntk_t * pNtk, Res_Par_t * pPars )
         Extra_ProgressBarUpdate( pProgress, i, NULL );
         if ( !Abc_ObjIsNode(pObj) )
             continue;
+        if ( Abc_ObjFaninNum(pObj) > 8 )
+            continue;
         if ( pObj->Id > nNodesOld )
             break;
 
-- 
cgit v1.2.3