threads_internal: pass the current 'action' to the internal thread system

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 19194cda06a766ccb84b1674b6fb5142bcc4bef4..88d5ce32e21195d7106c291220d4eb2af7bb80a0 100644 (file)
--- 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()