diff options
Diffstat (limited to 'src/proof/cec')
| -rw-r--r-- | src/proof/cec/cecSplit.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |