projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
make warnings go away
[model-checker-benchmarks.git]
/
chase-lev-deque-bugfix
/
deque.h
diff --git
a/chase-lev-deque-bugfix/deque.h
b/chase-lev-deque-bugfix/deque.h
index bc670e7ef1e540d56b2e043fe1b11b48f396b91a..f474355dbe6bc27a049bf6f6a434fc87449ca565 100644
(file)
--- a/
chase-lev-deque-bugfix/deque.h
+++ b/
chase-lev-deque-bugfix/deque.h
@@
-15,6
+15,7
@@
Deque * create();
int take(Deque *q);
void resize(Deque *q);
void push(Deque *q, int x);
+int steal(Deque *q);
#define EMPTY 0xffffffff
#define ABORT 0xfffffffe