diff options
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index d3a6ba67..a7485397 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -20,6 +20,7 @@ #include "lpkInt.h" #include "cloud.h" +#include "main.h" ABC_NAMESPACE_IMPL_START @@ -516,7 +517,10 @@ int Lpk_Resynthesize( Abc_Ntk_t * pNtk, Lpk_Par_t * pPars ) Abc_NtkSweep( pNtk, 0 ); // get the number of inputs - pPars->nLutSize = Abc_NtkGetFaninMax( pNtk ); + if ( Abc_FrameReadLibLut() ) + pPars->nLutSize = ((If_Lib_t *)Abc_FrameReadLibLut())->LutMax; + else + pPars->nLutSize = Abc_NtkGetFaninMax( pNtk ); if ( pPars->nLutSize > 6 ) pPars->nLutSize = 6; if ( pPars->nLutSize < 3 ) |