promise: add Promise::get_index function

[c11tester.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 77c0b68f13cfa86ef88ac0274b20435feec6c637..0ec95b057bec48bce7d914e316066c2c62de065c 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -314,7 +314,7 @@ static void print_node(FILE *file, const CycleNode *node, int label)
 {
        if (node->is_promise()) {
                const Promise *promise = node->getPromise();
-               int idx = model->get_promise_number(promise);
+               int idx = promise->get_index();
                fprintf(file, "P%u", idx);
                if (label) {
                        int first = 1;