From: Peizhao Ou <peizhaoo@uci.edu>
Date: Wed, 18 Nov 2015 12:58:00 +0000 (-0800)
Subject: edits
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=03a40f095e6c8a1af2384093d164c15146c55f95;p=cdsspec-compiler.git

edits
---

diff --git a/benchmark/ms-queue/my_queue.c b/benchmark/ms-queue/my_queue.c
index ae33b7d..d5e889d 100644
--- a/benchmark/ms-queue/my_queue.c
+++ b/benchmark/ms-queue/my_queue.c
@@ -198,7 +198,7 @@ bool dequeue(queue_t *q, int *retVal)
 		tail = atomic_load_explicit(&q->tail, acquire);
 
 		/**** SPEC Error (testcase1.c) ****/
-		next = atomic_load_explicit(&q->nodes[get_ptr(head)].next, relaxed);
+		next = atomic_load_explicit(&q->nodes[get_ptr(head)].next, acquire);
 		/**
 			@Begin
 			@Potential_commit_point_define: true