X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=62ba8fb3ff0ee631d960649286142d0608560135;hb=5178739a27add5e59a1213c9ac90e73397c1a23d;hp=1eb57d7515823012c51026db219af0e6e9bf0a77;hpb=fa36db2da01d7da10e0cd375fda3c2db4ce3a05b;p=model-checker.git

diff --git a/schedule.cc b/schedule.cc
index 1eb57d7..62ba8fb 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -250,7 +250,7 @@ void Scheduler::set_scheduler_thread(thread_id_t tid) {
  */
 void Scheduler::set_current_thread(Thread *t)
 {
-	ASSERT(t && !t->is_model_thread());
+	ASSERT(!t || !t->is_model_thread());
 
 	current = t;
 	if (DBG_ENABLED())