X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=4307b392b3e15c6be1e837d07a9baae31aaee3e0;hb=00372fb761d9f0e4a15764c7bd45f9ad3ecad8aa;hp=17ff0f96708d2792a2aae2e4910d8ed27baa3d87;hpb=cd3c3b85485b68891c2024b50c08443736aa7268;p=model-checker.git

diff --git a/model.cc b/model.cc
index 17ff0f9..4307b39 100644
--- a/model.cc
+++ b/model.cc
@@ -14,6 +14,8 @@ ModelChecker::ModelChecker()
 	this->scheduler = new Scheduler();
 
 	this->current_action = NULL;
+	this->exploring = NULL;
+	this->nextThread = THREAD_ID_T_NONE;
 
 	rootNode = new TreeNode(NULL);
 	currentNode = rootNode;