deque: #include's
[model-checker-benchmarks.git] / chase-lev-deque / deque.c
index b74907f..0ad7830 100644 (file)
@@ -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));