From 686d38d66754027cd29c64f1dc2975248eab7796 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 13 Feb 2011 15:16:10 -0800 Subject: Changes to enable C++ compilation after recent modifications. --- src/aig/saig/saigDup.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/saig/saigDup.c') diff --git a/src/aig/saig/saigDup.c b/src/aig/saig/saigDup.c index 4d34224e..f4e557f8 100644 --- a/src/aig/saig/saigDup.c +++ b/src/aig/saig/saigDup.c @@ -115,7 +115,7 @@ Aig_Man_t * Saig_ManCreateEquivMiter( Aig_Man_t * pAig, Vec_Int_t * vPairs ) Aig_ManForEachNodeVec( pAig, vPairs, pObj, i ) { pObj2 = Aig_ManObj( pAig, Vec_IntEntry(vPairs, ++i) ); - pMiter = Aig_Exor( pAigNew, pObj->pData, pObj2->pData ); + pMiter = Aig_Exor( pAigNew, (Aig_Obj_t *)pObj->pData, (Aig_Obj_t *)pObj2->pData ); pMiter = Aig_NotCond( pMiter, pObj->fPhase ^ pObj2->fPhase ); Aig_ObjCreatePo( pAigNew, pMiter ); } -- cgit v1.2.3