model: bugfix - reset the "current_action" after it has been processed

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 9d23788e8939746cd8bf720e2c8ece25e46f8ae7..82e65202510076338130dea1d51488e52fa1b720 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -197,6 +197,7 @@ void ModelChecker::check_current_action(void)
                DEBUG("trying to push NULL action...\n");
                return;
        }
+       current_action = NULL;
        nextThread = advance_backtracking_state();
        next->set_node(currentNode);
        set_backtracking(next);