X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTuner%2Fbasictuner.cc;h=6ac7453a249648a16fcb93c3850d1ef8d2250e68;hp=f3a00ea460aa1d78dd627805782993b73aa9bffd;hb=16bc8b176b43b7d170b4542b2d572de9e7d147f8;hpb=cb7331d3834636ca4af0357d272d082c047ec940

diff --git a/src/Tuner/basictuner.cc b/src/Tuner/basictuner.cc
index f3a00ea..6ac7453 100644
--- 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");
-		ASSERT(0)
+		ASSERT(0);
 	}
 	if (sat == IS_INDETER && metric != -1) {//The case when we have a timeout
 		metric = -1;