From: Brian Norris <banorris@uci.edu>
Date: Tue, 28 May 2013 17:57:39 +0000 (-0700)
Subject: Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks
X-Git-Tag: oopsla2013-final~2
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=595a5a86d894685c1b39ee467599654f8c2a46b5;hp=4eab9d83c884ccc10963379c79ed5d80627ded23

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 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);