X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=e75e7eca7f8bda92295493f8f48bfa1f9056743c;hb=3796989e962917277d76de4bf0ef9dc9d2bc0ff2;hp=915bbc90fb3daa8d5985decdf9e1641a93e59993;hpb=1cdcdc24156572a63fd8261a7a3dd2f04ca6648c;p=model-checker.git

diff --git a/schedule.cc b/schedule.cc
index 915bbc9..e75e7ec 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -217,6 +217,7 @@ Thread * Scheduler::next_thread(Thread *t)
 		}
 	} else if (t->is_model_thread()) {
 		/* model-checker threads never run */
+		ASSERT(false);
 		t = NULL;
 	} else {
 		curr_thread_index = id_to_int(t->get_id());