Compiler warnings.

b0bd2025 · Alan Mishchenko · 804e0261 · b0bd2025
Commit b0bd2025 authored Jul 12, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/abci/abcSaucy.c
+1 -1

No files found.
--- 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 );