X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=62ba8fb3ff0ee631d960649286142d0608560135;hb=28067adf4ed506b7e38ddf38e522d5a9621bef92;hp=1eb57d7515823012c51026db219af0e6e9bf0a77;hpb=90471233ff4dcca9a196152574dca4e7cf183698;p=c11tester.git

diff --git a/schedule.cc b/schedule.cc
index 1eb57d75..62ba8fb3 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())