From 1ec437d04b2fcb42054f068525c2a1b21b69fe53 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 27 Mar 2011 11:52:56 -0700
Subject: C++ compilation fixes.
---
src/aig/int/intCheck.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'src/aig/int')
diff --git a/src/aig/int/intCheck.c b/src/aig/int/intCheck.c
index 564813f4..54bb7ad9 100644
--- a/src/aig/int/intCheck.c
+++ b/src/aig/int/intCheck.c
@@ -84,7 +84,7 @@ Aig_Man_t * Inter_ManUnrollFrames( Aig_Man_t * pAig, int nFrames )
Saig_ManForEachLiLo( pAig, pObjLi, pObjLo, i )
{
pObjLo->pData = pObjLi->pData;
- Aig_ObjCreatePo( pFrames, pObjLo->pData );
+ Aig_ObjCreatePo( pFrames, (Aig_Obj_t *)pObjLo->pData );
}
}
Aig_ManCleanup( pFrames );
--
cgit v1.2.3