X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=0ec95b057bec48bce7d914e316066c2c62de065c;hb=c5703c61b49d29d3f56fdcb06847f2aa811eeb4e;hp=77c0b68f13cfa86ef88ac0274b20435feec6c637;hpb=4fa31aac91303266f4c87a6cd5d60cbab34135db;p=model-checker.git

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 77c0b68..0ec95b0 100644
--- 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;