From: bdemsky <bdemsky@uci.edu>
Date: Thu, 17 Dec 2015 09:17:51 +0000 (-0800)
Subject: fix commit that mistakenly happened
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=7ca8c7d4c3d13ce31873200b12403bb4ea7e4195;hp=98c3f7ebd9ddbe5a64fd9c6b6408d4ad3f7b41d8;ds=sidebyside

fix commit that mistakenly happened
---

diff --git a/spsc-bugfix/spsc-queue.cc b/spsc-bugfix/spsc-queue.cc
index ada08ec..f8528a8 100644
--- a/spsc-bugfix/spsc-queue.cc
+++ b/spsc-bugfix/spsc-queue.cc
@@ -6,7 +6,6 @@ spsc_queue<int> *q;
 
 	void thread(unsigned thread_index)
 	{
-		for (int i = 0; i < 40; i++) {
 		if (0 == thread_index)
 		{
 			q->enqueue(11);
@@ -16,7 +15,6 @@ spsc_queue<int> *q;
 			int d = q->dequeue();
 			RL_ASSERT(11 == d);
 		}
-		}
 	}
 
 int user_main(int argc, char **argv)