Undoing previous commit.

This commit is contained in:
Alan Mishchenko 2025-07-28 22:58:24 -07:00
parent 705a3da338
commit 052a365823
1 changed files with 4 additions and 4 deletions

View File

@ -2692,10 +2692,10 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn )
}
pNew->vRegClasses = vRegClasses;
// save initial box info
if ( pNew->pManTime ) {
Abc_Frame_t * pAbc = Abc_FrameGetGlobalFrame();
pAbc->vMiniLutObjs = Gia_ManDeriveBoxMapping( pNew );
}
// if ( pNew->pManTime ) {
// Abc_Frame_t * pAbc = Abc_FrameGetGlobalFrame();
// pAbc->vMiniLutObjs = Gia_ManDeriveBoxMapping( pNew );
// }
return pNew;
}