edits

[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / deque.c

diff --git a/benchmark/chase-lev-deque-bugfix/deque.c b/benchmark/chase-lev-deque-bugfix/deque.c
index 010704c61985e31280af3668a32b340acd433750..b4f63171fde4fda413384f3f7eeae90f816fcdab 100644 (file)
--- 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