From: Brian Norris <banorris@uci.edu>
Date: Tue, 28 May 2013 17:47:32 +0000 (-0700)
Subject: chase-lev-dequeue: fix compiler warning
X-Git-Tag: oopsla2013-final~3
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=a3b1bb7758e8213a6a9972311664d98ca17b1ecf;ds=sidebyside

chase-lev-dequeue: fix compiler warning

Fix this warning, found when compiling with GCC's C1x support:

  main.c: In function ‘task’:
  main.c:17:2: warning: implicit declaration of function ‘steal’ [-Wimplicit-function-declaration]
---

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