ms-queue: begin relaxing

[model-checker-benchmarks.git] / chase-lev-deque / deque.c

diff --git a/chase-lev-deque/deque.c b/chase-lev-deque/deque.c
index 02a65ea635aa3b3caee8d56d0e05d81d189593a3..efa9b163fdd3036e46e2d5e4282129e90b50121d 100644 (file)
--- a/chase-lev-deque/deque.c
+++ b/chase-lev-deque/deque.c
@@ -8,7 +8,7 @@ typedef struct {
 
 typedef struct {
        atomic_size_t top, bottom;
-       Atomic(Array *) array;
+       atomic_uintptr_t array; /* Atomic(Array *) */
 } Deque;
 
 int take(Deque *q) {