replace non-fatal error messages with ASSERT()'s

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index e0cb277563bb057c989be29379866ac8f090094b..bc553b140fe4df5a1a2a3e39da7b7b1b91644403 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -116,7 +116,7 @@ static int thread_system_next(void)
                        /* Stopped while running; i.e., completed */
                        curr->complete();
                else
-                       DEBUG("ERROR: current thread in unexpected state??\n");
+                       ASSERT(false);
        }
        next = model->scheduler->next_thread();
        if (next)