From 7d56aabab667d8b550f72c426feac11f78029630 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 9 Oct 2013 22:30:03 -0700
Subject: Upgrading 'mfs2' to consider some nodes as having no level.

---
 src/aig/gia/giaMfs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c
index 8a8e3686..4f6e74a1 100644
--- a/src/aig/gia/giaMfs.c
+++ b/src/aig/gia/giaMfs.c
@@ -247,7 +247,7 @@ Sfm_Ntk_t * Gia_ManExtractMfs( Gia_Man_t * p, Gia_Man_t * pBoxes, Vec_Int_t ** p
     Vec_IntFree( vPoNodes );
     Vec_WrdFree( vTruthsTemp );
     *pvId2Mfs = vId2Mfs;
-    return Sfm_NtkConstruct( vFanins, nPiNum, nPoNum, vFixed, vTruths );
+    return Sfm_NtkConstruct( vFanins, nPiNum, nPoNum, vFixed, NULL, vTruths );
 }
 
 /**Function*************************************************************
-- 
cgit v1.2.3