Bug fix: typos

[satune.git] / src / Tuner / basictuner.cc

diff --git a/src/Tuner/basictuner.cc b/src/Tuner/basictuner.cc
index f3a00ea460aa1d78dd627805782993b73aa9bffd..6ac7453a249648a16fcb93c3850d1ef8d2250e68 100644 (file)
--- a/src/Tuner/basictuner.cc
+++ b/src/Tuner/basictuner.cc
@@ -195,7 +195,7 @@ long long BasicTuner::evaluate(Problem *problem, TunerRecord *tuner) {
                problem->setResult( sat );
        } else if (problem->getResult() != sat && sat != IS_INDETER) {
                model_print("******** Result has changed ******** Found a bug!!\n");
                problem->setResult( sat );
        } else if (problem->getResult() != sat && sat != IS_INDETER) {
                model_print("******** Result has changed ******** Found a bug!!\n");

-               ASSERT(0)
+               ASSERT(0);

        }
        if (sat == IS_INDETER && metric != -1) {//The case when we have a timeout
                metric = -1;
        }
        if (sat == IS_INDETER && metric != -1) {//The case when we have a timeout
                metric = -1;