From ec153508e1b7bb4e0b492ee63a9ae22810f73615 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 16 Jul 2013 19:16:52 -0700
Subject: Enabling switch -a in 'mfs2'.

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

(limited to 'src/opt/sfm/sfmCore.c')

diff --git a/src/opt/sfm/sfmCore.c b/src/opt/sfm/sfmCore.c
index ba690b18..95a7f90b 100644
--- a/src/opt/sfm/sfmCore.c
+++ b/src/opt/sfm/sfmCore.c
@@ -221,6 +221,8 @@ int Sfm_NodeResub( Sfm_Ntk_t * p, int iNode )
             if ( Sfm_NodeResubSolve( p, iNode, i, 0 ) )
                 return 1;
         }
+    if ( p->pPars->fArea )
+        return 0;
     // try removing redundant edges
     Sfm_ObjForEachFanin( p, iNode, iFanin, i )
         if ( !(Sfm_ObjIsNode(p, iFanin) && Sfm_ObjFanoutNum(p, iFanin) == 1) )
-- 
cgit v1.2.3