X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=nodestack.cc;h=4da3cd60fd7db93c147fba60faf929d6fccb9a0f;hp=b4f75e0336a3afdc3978b7ecb086e459423df455;hb=adf77053d498af32ab4c6764b50d4265bed5996c;hpb=b7d75d9910011868710667d9d2ae018a10aefea5

diff --git a/nodestack.cc b/nodestack.cc
index b4f75e03..4da3cd60 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -91,7 +91,7 @@ void Node::print()
 	if (action)
 		action->print();
 	else
-		printf("******** empty action ********\n");
+		model_print("******** empty action ********\n");
 }
 
 /** @brief Prints info about may_read_from set */
@@ -495,14 +495,14 @@ NodeStack::~NodeStack()
 
 void NodeStack::print()
 {
-	printf("............................................\n");
-	printf("NodeStack printing node_list:\n");
+	model_print("............................................\n");
+	model_print("NodeStack printing node_list:\n");
 	for (unsigned int it = 0; it < node_list.size(); it++) {
 		if (it == this->iter)
-			printf("vvv following action is the current iterator vvv\n");
+			model_print("vvv following action is the current iterator vvv\n");
 		node_list[it]->print();
 	}
-	printf("............................................\n");
+	model_print("............................................\n");
 }
 
 /** Note: The is_enabled set contains what actions were enabled when