X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque%2Fdeque.c;h=0ad78307b39cfda32ac1acb7df9442489f0b271f;hb=7a025e2754eecddbcde0123071ac842f153ee098;hp=b74907fb5de5a73606bdc7cc9eda1a46ae1705ef;hpb=991978d306af445e74509a0ffef879505b115b94;p=model-checker-benchmarks.git 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 #include "deque.h" #include +#include Deque * create() { Deque * q = (Deque *) calloc(1, sizeof(Deque));