X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=benchmark%2Fchase-lev-deque-bugfix%2Fdeque.c;h=b4f63171fde4fda413384f3f7eeae90f816fcdab;hp=010704c61985e31280af3668a32b340acd433750;hb=eb9e3f6c13d6519884da7199d52c0a53f4bc43f4;hpb=ae7e8a708fe99e9717e82c64002f2d6f05665e6f;ds=inline

diff --git a/benchmark/chase-lev-deque-bugfix/deque.c b/benchmark/chase-lev-deque-bugfix/deque.c
index 010704c..b4f6317 100644
--- a/benchmark/chase-lev-deque-bugfix/deque.c
+++ b/benchmark/chase-lev-deque-bugfix/deque.c
@@ -118,7 +118,7 @@ void push(Deque *q, int x) {
 		resize(q);
 		// CDSSpec can actually detect the same bug if we avoid the UL error
 		//Bug in paper...should have next line...
-		//a = (Array *) atomic_load_explicit(&q->array, memory_order_relaxed);
+		a = (Array *) atomic_load_explicit(&q->array, memory_order_relaxed);
 		/**
 			//@Begin
 			@Commit_point_define_check: true