X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=chase-lev-deque%2Fdeque.h;h=91f4ab09c48306149f616617ad6cfac5657c3fad;hp=bc670e7ef1e540d56b2e043fe1b11b48f396b91a;hb=a3b1bb7758e8213a6a9972311664d98ca17b1ecf;hpb=8c19c4c22a76ba53d7eff91102a489bb44c805d7

diff --git a/chase-lev-deque/deque.h b/chase-lev-deque/deque.h
index bc670e7..91f4ab0 100644
--- a/chase-lev-deque/deque.h
+++ b/chase-lev-deque/deque.h
@@ -13,6 +13,7 @@ typedef struct {
 
 Deque * create();
 int take(Deque *q);
+int steal(Deque *q);
 void resize(Deque *q);
 void push(Deque *q, int x);