From 452ff2730ccdb492ea8756579c2a1268d9f05b16 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 6 Apr 2015 11:49:19 +0700
Subject: Bug fix in 'mfs2': Apply sweep to avoid assertion failure when
 translating into a BDD.

---
 src/base/abci/abcMfs.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/base/abci/abcMfs.c b/src/base/abci/abcMfs.c
index 69d57363..e33d6c73 100644
--- a/src/base/abci/abcMfs.c
+++ b/src/base/abci/abcMfs.c
@@ -253,6 +253,7 @@ int Abc_NtkPerformMfs( Abc_Ntk_t * pNtk, Sfm_Par_t * pPars )
     Sfm_Ntk_t * p;
     int nFaninMax, nNodes;
     assert( Abc_NtkIsLogic(pNtk) );
+    Abc_NtkSweep( pNtk, 0 );
     // count fanouts
     nFaninMax = Abc_NtkGetFaninMax( pNtk );
     if ( nFaninMax > 6 )
-- 
cgit v1.2.3