chase-lev-dequeue: fix compiler warning
[model-checker-benchmarks.git] / chase-lev-deque / deque.h
index bc670e7..91f4ab0 100644 (file)
@@ -13,6 +13,7 @@ typedef struct {
 
 Deque * create();
 int take(Deque *q);
 
 Deque * create();
 int take(Deque *q);
+int steal(Deque *q);
 void resize(Deque *q);
 void push(Deque *q, int x);
 
 void resize(Deque *q);
 void push(Deque *q, int x);