From 609be7a1144a898143819842e34e637865d4e24b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 8 Jul 2015 15:04:26 -0700 Subject: C++ compiler typecast problem. --- src/proof/cec/cecSplit.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/cec/cecSplit.c') diff --git a/src/proof/cec/cecSplit.c b/src/proof/cec/cecSplit.c index 9c2533f2..24c1e15c 100644 --- a/src/proof/cec/cecSplit.c +++ b/src/proof/cec/cecSplit.c @@ -692,7 +692,7 @@ int Cec_GiaSplitTestInt( Gia_Man_t * p, int nProcs, int nTimeOut, int nIterMax, continue; // start a new thread assert( ThData[i].p == NULL ); - ThData[i].p = Vec_PtrPop( vStack ); + ThData[i].p = (Gia_Man_t*)Vec_PtrPop( vStack ); ThData[i].pCnf = Cec_GiaDeriveGiaRemapped( ThData[i].p ); ThData[i].fWorking = 1; } -- cgit v1.2.3