From 25e27a3a3e9e4f5f8835343479b5021ba68e09e0 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 8 Jan 2013 13:27:00 +0800 Subject: Fixing C++ compilation issues. --- src/aig/gia/giaIf.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia') diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index a1df0e50..0bcdc10a 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -632,7 +632,7 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) if ( pIfMan == NULL ) return NULL; if ( p->pManTime ) - pIfMan->pManTim = Tim_ManDup( p->pManTime, 0 ); + pIfMan->pManTim = Tim_ManDup( (Tim_Man_t *)p->pManTime, 0 ); if ( !If_ManPerformMapping( pIfMan ) ) { If_ManStop( pIfMan ); -- cgit v1.2.3