1 files changed, 4 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index 69bf0ce..2b6f7c6 100644
--- a/Makefile
+++ b/Makefile
@@ -11,9 +11,11 @@ SRC= 	main.ml \
 		abstract/formula.ml \
 		abstract/formula_printer.ml \
 		abstract/transform.ml \
-		interpret/bad_interpret.ml \
-		interpret/interface.ml \
+		abstract/environment_domain.ml \
+		abstract/apron_domain.ml \
+		abstract/abs_interp.ml \
 		interpret/interpret.ml \
+		interpret/ast_util.ml \
 		interpret/rename.ml
 
 all: $(BIN)