X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque%2FMakefile;h=91ff999c9d5163e3d22e0f4754b3a1cdc08bcc0e;hb=b2f7bb95913baa71483d088402a32d5ca64b56f7;hp=3f0fc86fdf3e86689fb9a16ade4c92b4e06e27fc;hpb=d28be4986beab3803e7c721aea739b672205e17f;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque/Makefile b/chase-lev-deque/Makefile
index 3f0fc86..91ff999 100644
--- a/chase-lev-deque/Makefile
+++ b/chase-lev-deque/Makefile
@@ -2,8 +2,8 @@ include ../benchmarks.mk
 
 TESTNAME = main
 
-HEADERS = 
-OBJECTS = deque.o
+HEADERS = deque.h
+OBJECTS = main.o deque.o
 
 all: $(TESTNAME)