From 1fb7ef8153eb42bc8b614f109571c9e47138b956 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 30 Sep 2013 22:41:55 -0700
Subject: Converting mapped AIG into strashed AIG.

---
 src/base/abci/abc.c | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 7b9c8f82..675e9734 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -27553,11 +27553,6 @@ int Abc_CommandAbc9Balance( Abc_Frame_t * pAbc, int argc, char ** argv )
         Abc_Print( -1, "Abc_CommandAbc9Balance(): There is no AIG.\n" );
         return 1;
     }
-    if ( Gia_ManHasMapping(pAbc->pGia) )
-    {
-        Abc_Print( -1, "Abc_CommandAbc9Balance(): The current AIG is mapped.\n" );
-        return 1;
-    }
     if ( fDelayOnly )
         pTemp = Gia_ManBalance( pAbc->pGia, fSimpleAnd, fVerbose );
     else
-- 
cgit v1.2.3