diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 13:16:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 13:16:12 -0700 |
| commit | b0bd2025c6c5ead303f536424bdde69cf169afff (patch) | |
| tree | 847cfe199e95ecb0a04da5d7ecb4a3d43227674f | |
| parent | 804e0261abb949616a3b26b83a63423bea3b673c (diff) | |
| download | abc-b0bd2025c6c5ead303f536424bdde69cf169afff.tar.gz abc-b0bd2025c6c5ead303f536424bdde69cf169afff.tar.bz2 abc-b0bd2025c6c5ead303f536424bdde69cf169afff.zip | |
Compiler warnings.
| -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 ); |