X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=88d5ce32e21195d7106c291220d4eb2af7bb80a0;hb=f646d6a9d7c201e54a3f7eb1f026064d4136cf2e;hp=19194cda06a766ccb84b1674b6fb5142bcc4bef4;hpb=3ec8b2cabc09653e410e28531669102d2bab449b;p=model-checker.git

diff --git a/model.cc b/model.cc
index 19194cd..88d5ce3 100644
--- a/model.cc
+++ b/model.cc
@@ -11,6 +11,8 @@ ModelChecker::ModelChecker()
 	this->used_thread_id = 0;
 	/* Initialize default scheduler */
 	this->scheduler = new DefaultScheduler();
+
+	this->current_action = NULL;
 }
 
 ModelChecker::~ModelChecker()