X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FMakefile;h=dae27b77f1d0c7cb0255e3714c695eabf504af99;hp=548189ef94762759b635481cfc31d02d5e8b8efc;hb=2ef6d0360a8317b47f1a78990e2ed2f660855b53;hpb=8828582606732da9cc5396dd5a28c01d20ef4325

diff --git a/src/Makefile b/src/Makefile
index 548189e..dae27b7 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -4,7 +4,7 @@ PHONY += directories
 MKDIR_P = mkdir -p
 OBJ_DIR = bin
 
-CPP_SOURCES := constraint.cc inc_solver.cc set.cc mutableset.cc element.cc function.cc order.cc table.cc predicate.cc boolean.cc csolver.cc
+CPP_SOURCES := set.cc mutableset.cc element.cc function.cc order.cc table.cc predicate.cc boolean.cc csolver.cc structs.c
 
 OBJECTS := $(CPP_SOURCES:%.cc=$(OBJ_DIR)/%.o) $(C_SOURCES:%.c=$(OBJ_DIR)/%.o)