X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=chase-lev-deque%2Fdeque.c;h=0ad78307b39cfda32ac1acb7df9442489f0b271f;hp=b74907fb5de5a73606bdc7cc9eda1a46ae1705ef;hb=fa2a8815cc3cd92359d6294d4ad8c910f2265472;hpb=991978d306af445e74509a0ffef879505b115b94

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