scanalysis: remove whitespace

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 1eb57d7515823012c51026db219af0e6e9bf0a77..62ba8fb3ff0ee631d960649286142d0608560135 100644 (file)
--- 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())