From f04de3faad13a3904836dd1bd8c334b6634d60a4 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 18 Jun 2014 10:22:35 +0200
Subject: Add intervals domain ; some interesting analysis works.

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Makefile')

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
-- 
cgit v1.2.3