Bug fixing

diff --git a/model.cc b/model.cc
index 1e3dd2dee12b0c9071bf0e17e5e2ab273affd488..cffaea874740ada79a5ee89e0901e31e9dbcdb2c 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -462,6 +462,7 @@ void ModelChecker::run()
                        if (t->just_woken_up()) {
                                t->set_wakeup_state(false);
                                t->set_pending(NULL);
+                               t = NULL;
                                continue;       // Allow this thread to stash the next pending action
                        }