node: do not use static member variable

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 2ffa22a1028a8008c1c60e52e8e9fee627fac766..70440f5050b3c3bc0adaf157e44db0959f3c6476 100644 (file)
--- 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();