From: jjenista <jjenista>
Date: Mon, 1 Nov 2010 18:29:40 +0000 (+0000)
Subject: update poolcreate args for deque version as well
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8d7730a52df8f1949ad30473e5af6563142534e6;p=IRC.git

update poolcreate args for deque version as well
---

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 ) );