From 93d924bb1017dc26a9735801e1b7f8b7a3f4ef2c Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 30 Jul 2014 15:45:28 +0200
Subject: Refactor some stuff (this code sould be re-read.)

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 07daf1d..3955694 100644
--- a/Makefile
+++ b/Makefile
@@ -19,6 +19,7 @@ SRC= 	main.ml \
 		abstract/num_domain.ml \
 		abstract/enum_domain.ml \
 		abstract/enum_domain_edd.ml \
+		abstract/abs_domain.ml \
 		\
 		abstract/formula.ml \
 		abstract/formula_printer.ml \
-- 
cgit v1.2.3