update poolcreate args for deque version as well
authorjjenista <jjenista>
Mon, 1 Nov 2010 18:29:40 +0000 (18:29 +0000)
committerjjenista <jjenista>
Mon, 1 Nov 2010 18:29:40 +0000 (18:29 +0000)
commit8d7730a52df8f1949ad30473e5af6563142534e6
tree5e77723ff2e157d0e087c6c9e7dc59bfce68c6ee
parentac7db538c3574a7c643750278dd154f5c0e453e3
update poolcreate args for deque version as well
Robust/src/Runtime/deque.c