X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=70440f5050b3c3bc0adaf157e44db0959f3c6476;hb=b8bcaaa5a4b4d2413e3a0f419bbb91c540b28e50;hp=2ffa22a1028a8008c1c60e52e8e9fee627fac766;hpb=ca4375ba4697b8abe476e03f211523c491c3e2c3;p=model-checker.git

diff --git a/model.cc b/model.cc
index 2ffa22a..70440f5 100644
--- a/model.cc
+++ b/model.cc
@@ -265,7 +265,7 @@ void ModelChecker::print_summary(void)
 {
 	printf("\n");
 	printf("Number of executions: %d\n", num_executions);
-	printf("Total nodes created: %d\n", Node::get_total_nodes());
+	printf("Total nodes created: %d\n", node_stack->get_total_nodes());
 
 	scheduler->print();