From: Brian Norris <banorris@uci.edu>
Date: Thu, 7 Mar 2013 03:43:08 +0000 (-0800)
Subject: deque: #include's
X-Git-Tag: oopsla2013-final~26
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=fa2a8815cc3cd92359d6294d4ad8c910f2265472

deque: #include's
---

diff --git a/chase-lev-deque/deque.c b/chase-lev-deque/deque.c
index b74907f..0ad7830 100644
--- a/chase-lev-deque/deque.c
+++ b/chase-lev-deque/deque.c
@@ -2,6 +2,7 @@
 #include <inttypes.h>
 #include "deque.h"
 #include <stdlib.h>
+#include <stdio.h>
 
 Deque * create() {
 	Deque * q = (Deque *) calloc(1, sizeof(Deque));
diff --git a/chase-lev-deque/main.c b/chase-lev-deque/main.c
index 424806f..382c62a 100644
--- a/chase-lev-deque/main.c
+++ b/chase-lev-deque/main.c
@@ -3,7 +3,6 @@
 #include <stdio.h>
 #include <threads.h>
 #include <stdatomic.h>
-#include <stdio.h>
 
 #include "model-assert.h"