diff options
-rw-r--r-- | src/base/abci/abcDar.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 29eb98a2..6e8edc99 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -726,7 +726,7 @@ Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p ) pObjNew = Abc_NtkCreateNode( pNtkNew ); Gia_LutForEachFanin( p, i, iFan, k ) Abc_ObjAddFanin( pObjNew, Abc_NtkObj(pNtkNew, Gia_ObjValue(Gia_ManObj(p, iFan))) ); - pObjNew->pData = Abc_ObjHopFromGia( pNtkNew->pManFunc, p, i, vReflect ); + pObjNew->pData = Abc_ObjHopFromGia( (Hop_Man_t *)pNtkNew->pManFunc, p, i, vReflect ); pObj->Value = Abc_ObjId( pObjNew ); } Vec_PtrFree( vReflect ); |