From a8dad4ed617a1ef361e3f876aabf98de9f11f87a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 8 Jan 2013 13:12:28 +0800
Subject: Fixing C++ compilation issues.

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

(limited to 'src')

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 );
-- 
cgit v1.2.3