X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=7e5e95602408b47f5d4ff5b746e64db88287366f;hb=130a35155171503883aaf18e57f8957ce63d06e8;hp=0ec95b057bec48bce7d914e316066c2c62de065c;hpb=cb7d648c3c1c3d916c7fc60a7cb332eb2b52d510;p=model-checker.git

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 0ec95b0..7e5e956 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -2,7 +2,6 @@
 #include "action.h"
 #include "common.h"
 #include "promise.h"
-#include "model.h"
 #include "threads-model.h"
 
 /** Initializes a CycleGraph object. */
@@ -319,7 +318,7 @@ static void print_node(FILE *file, const CycleNode *node, int label)
 		if (label) {
 			int first = 1;
 			fprintf(file, " [label=\"P%d, T", idx);
-			for (unsigned int i = 0 ; i < model->get_num_threads(); i++)
+			for (unsigned int i = 0 ; i < promise->max_available_thread_idx(); i++)
 				if (promise->thread_is_available(int_to_id(i))) {
 					fprintf(file, "%s%u", first ? "": ",", i);
 					first = 0;