update poolcreate args for deque version as well

diff --git a/Robust/src/Runtime/deque.c b/Robust/src/Runtime/deque.c
index c9089c741c0efbed282ef810585c4c1282d2ab13..6de2a65e2ad5be304f943e29aa3becdf4473ffb3 100644 (file)
--- 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 ) );