From bef247a4cbb191c22630a20daf67a43ef717bac0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 23 Apr 2017 09:45:23 -0700
Subject: Logic restructuring after mapping.

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

(limited to 'src/base/abci')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 98870a20..bc06fbb9 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -5863,6 +5863,7 @@ int Abc_CommandLogicPush( Abc_Frame_t * pAbc, int argc, char ** argv )
         Abc_Print( -1, "This command can only be applied to a logic network.\n" );
         return 1;
     }
+    nLutSize = Abc_MaxInt( nLutSize, Abc_NtkGetFaninMax(pNtk) );
     Abc_NtkToSop( pNtk, -1, ABC_INFINITY );
     pNtkRes = Abc_NtkOptPush( pNtk, nLutSize, fVerbose );
     Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
-- 
cgit v1.2.3