From: Peizhao Ou <peizhaoo@uci.edu>
Date: Fri, 9 Dec 2016 19:48:14 +0000 (-0800)
Subject: typo
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=refs%2Fheads%2Fcdsspec-bench;p=model-checker-benchmarks.git

typo
---

diff --git a/ms-queue/queue.c b/ms-queue/queue.c
index 20de128..b868d2e 100644
--- a/ms-queue/queue.c
+++ b/ms-queue/queue.c
@@ -172,7 +172,7 @@ void enqueue(queue_t *q, unsigned int val, int n)
     // "memory_order_release" to "memory_order_relaxed", run "make" to
     // recompile, and then run:
     // "./run.sh ./ms-queue/testcase1 -m2 -y -u3 -tSPEC"
-	/**********    Detected Corrctness (testcase1) **********/
+	/**********    Detected Correctness (testcase1) **********/
 	atomic_compare_exchange_strong_explicit(&q->tail,
 			&tail,
 			MAKE_POINTER(node, get_count(tail) + 1),