From 8d7730a52df8f1949ad30473e5af6563142534e6 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 1 Nov 2010 18:29:40 +0000
Subject: [PATCH] update poolcreate args for deque version as well

---
 Robust/src/Runtime/deque.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/deque.c b/Robust/src/Runtime/deque.c
index c9089c74..6de2a65e 100644
--- a/Robust/src/Runtime/deque.c
+++ b/Robust/src/Runtime/deque.c
@@ -124,7 +124,7 @@ static inline int dqIndicateEmpty( INTPTR bottom, INTPTR top ) {
 
 void dqInit( deque* dq ) {
 
-  dq->memPool = poolcreate( DQNODE_SIZETOREQUEST );
+  dq->memPool = poolcreate( DQNODE_SIZETOREQUEST, NULL );
 
   dequeNode* a = dqGet4096aligned( poolalloc( dq->memPool ) );
   dequeNode* b = dqGet4096aligned( poolalloc( dq->memPool ) );
-- 
2.34.1