From 052a3658232a7020a0e373cb121db6900aa8bb65 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 28 Jul 2025 22:58:24 -0700
Subject: [PATCH] Undoing previous commit.

---
 src/base/wlc/wlcBlast.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c
index 8e38f3506..f080b8491 100644
--- a/src/base/wlc/wlcBlast.c
+++ b/src/base/wlc/wlcBlast.c
@@ -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;
 }