X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=chase-lev-deque%2Fdeque.c;h=efa9b163fdd3036e46e2d5e4282129e90b50121d;hp=02a65ea635aa3b3caee8d56d0e05d81d189593a3;hb=a33695544b9778b5e13039a10c2f7ba080889760;hpb=bb4d924532cf29b2a242cd96a35bbe5805b33089

diff --git a/chase-lev-deque/deque.c b/chase-lev-deque/deque.c
index 02a65ea..efa9b16 100644
--- 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) {