model: remove argument from mo_check_promises

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index 13da2b96312f0ee9c524b04fb13f0fcc997697b5..2fb498f4a05baf6dc783f7efdf2efc5bd2db0c9b 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -510,8 +510,10 @@ void ModelAction::print() const
        }
 
        uint64_t valuetoprint;
-       if (type == ATOMIC_READ && reads_from != NULL)
+       if (is_read() && reads_from)
                valuetoprint = reads_from->value;
+       else if (is_read() && reads_from_promise)
+               valuetoprint = reads_from_promise->get_value();
        else
                valuetoprint = value;