X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=benchmark%2Fms-queue%2Fmy_queue.h;h=0768428df5d9fadc1a1b29195b3de2c94068e87b;hp=90f57755d74dfe261330c73ef77139a10533ced6;hb=375b8b02ae398aceddb920e0e7e94287e33f231e;hpb=f1302c29ac6ffd01367ca618e6c05b2051da7716

diff --git a/benchmark/ms-queue/my_queue.h b/benchmark/ms-queue/my_queue.h
index 90f5775..0768428 100644
--- a/benchmark/ms-queue/my_queue.h
+++ b/benchmark/ms-queue/my_queue.h
@@ -95,7 +95,7 @@ void init_queue(queue_t *q, int num_threads);
 		# interface call
 		tag_elem_t *elem = new_tag_elem(__ID__, val);
 		push_back(__queue, elem);
-		model_print("Enqueue: input=%d\n", val);
+		//model_print("Enqueue: input=%d\n", val);
 	@End
 */
 void enqueue(queue_t *q, unsigned int val);
@@ -111,7 +111,7 @@ void enqueue(queue_t *q, unsigned int val);
 			_Old_Val = get_data(front(__queue));
 			pop_front(__queue);
 		}
-		model_print("Dequeue: __RET__=%d, retVal=%d, Old_Val=%d\n", __RET__, *retVal, _Old_Val);
+	//	model_print("Dequeue: __RET__=%d, retVal=%d, Old_Val=%d\n", __RET__, *retVal, _Old_Val);
 	@Post_check:
 		_Old_Val == 0 ? !__RET__ : _Old_Val == *retVal
 	@End