ms-queue: begin relaxing
[model-checker-benchmarks.git] / chase-lev-deque / deque.c
index 02a65ea..efa9b16 100644 (file)
@@ -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) {