From 3bad7aedf8266d063c5f8e842fc996283b9b13a4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 30 Sep 2013 20:41:08 -0700
Subject: Producing AIG after structural mapping.

---
 src/aig/gia/giaJf.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c
index 286d2d71..e330fb80 100644
--- a/src/aig/gia/giaJf.c
+++ b/src/aig/gia/giaJf.c
@@ -1517,8 +1517,11 @@ Gia_Man_t * Jf_ManDeriveGia( Jf_Man_t * p )
     Gia_ManSetRegNum( pNew, Gia_ManRegNum(p->pGia) );
 //    Dsm_ManReportStats();
     // perform cleanup
-    pNew = Gia_ManCleanup( pTemp = pNew );
-    Gia_ManStop( pTemp );
+    if ( !p->pPars->fCutMin )
+    {
+        pNew = Gia_ManCleanup( pTemp = pNew );
+        Gia_ManStop( pTemp );
+    }
     return pNew;
 }
 
-- 
cgit v1.2.3