From de71e5f61038748b59bcbb2bf6f0c8666b45190a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 26 Apr 2021 18:52:44 -0700
Subject: Passing node labels.

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

(limited to 'src/base/abci')

diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index 56eb139a..8911780d 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -858,6 +858,7 @@ Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p, int fFindEnables, int fUseBuffs
             Gia_LutForEachFanin( p, i, iFan, k )
                 Abc_ObjAddFanin( pObjNew, Abc_NtkObj(pNtkNew, Gia_ObjValue(Gia_ManObj(p, iFan))) );
             pObjNew->pData = Abc_ObjHopFromGia( (Hop_Man_t *)pNtkNew->pManFunc, p, i, vReflect );
+            pObjNew->fPersist = Gia_ObjLutIsMux(p, i);
             pObj->Value = Abc_ObjId( pObjNew );
         }
         Vec_PtrFree( vReflect );
-- 
cgit v1.2.3