promise: record multiple readers in the same Promise

[model-checker.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 1dbb12d9d25e2179895554817133b1c0267f179d..67552e0068f5f6d96e11169b4c0a60557d7c879d 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -320,7 +320,7 @@ static void print_node(const CycleNode *node, FILE *file, int label)
        modelclock_t idx;
        if (node->is_promise()) {
                const Promise *promise = node->getPromise();
-               idx = promise->get_action()->get_seq_number();
+               idx = promise->get_reader(0)->get_seq_number();
                fprintf(file, "P%u", idx);
                if (label) {
                        int first = 1;