X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=cffaea874740ada79a5ee89e0901e31e9dbcdb2c;hp=1e3dd2dee12b0c9071bf0e17e5e2ab273affd488;hb=f2370e62cde5daffcd0a75c0e95b2050ed63d414;hpb=a72579537233ec7d21ac24d895b9cbe7cfe16f2d

diff --git a/model.cc b/model.cc
index 1e3dd2de..cffaea87 100644
--- 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
 			}