1 files changed, 2 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 2b6f7c6..7645849 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,8 @@ SRC= 	main.ml \
 		abstract/environment_domain.ml \
 		abstract/apron_domain.ml \
 		abstract/abs_interp.ml \
+		abstract/nonrelational.ml \
+		abstract/intervals_domain.ml \
 		interpret/interpret.ml \
 		interpret/ast_util.ml \
 		interpret/rename.ml