model/action: bugfix - UNINIT actions do not have a Node

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index 121f5ee7499d7161257dd136e5edd646bc8c8c94..d418bdbb6a18ff1e3246b26ef5e8371ecde285b9 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -349,6 +349,8 @@ void ModelAction::set_try_lock(bool obtainedlock) {
 /** @return The Node associated with this ModelAction */
 Node * ModelAction::get_node() const
 {
+       /* UNINIT actions do not have a Node */
+       ASSERT(!is_uninitialized());
        return node;
 }