model: add prototypes to header

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 17ff0f96708d2792a2aae2e4910d8ed27baa3d87..4307b392b3e15c6be1e837d07a9baae31aaee3e0 100644 (file)
--- 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;