Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks

diff --git a/chase-lev-deque/deque.h b/chase-lev-deque/deque.h
index bc670e7ef1e540d56b2e043fe1b11b48f396b91a..91f4ab09c48306149f616617ad6cfac5657c3fad 100644 (file)
--- 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);