From b0bd2025c6c5ead303f536424bdde69cf169afff Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 12 Jul 2013 13:16:12 -0700 Subject: Compiler warnings. --- src/base/abci/abcSaucy.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abci/abcSaucy.c b/src/base/abci/abcSaucy.c index 7ffbf9fb..e4d1cc42 100644 --- a/src/base/abci/abcSaucy.c +++ b/src/base/abci/abcSaucy.c @@ -2555,7 +2555,7 @@ saucy_free(struct saucy *s) ABC_FREE(s->randomVectorSplit_sim2); Abc_NtkDelete( s->pNtk_permuted ); for (i = 0; i < Vec_PtrSize(s->satCounterExamples); i++) { - struct sim_result * cex = Vec_PtrEntry(s->satCounterExamples, i); + struct sim_result * cex = (struct sim_result *)Vec_PtrEntry(s->satCounterExamples, i); ABC_FREE( cex->inVec ); ABC_FREE( cex->outVec ); ABC_FREE( cex ); -- cgit v1.2.3