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