From e16f965b88efa1ba7872ced9fed627361c5c2c9e Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 25 Jun 2014 16:55:43 +0200
Subject: Begin implementation of EDD ; SCA implemented.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 93ae422..e3e5391 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,7 @@ SRC= 	main.ml \
 		abstract/transform.ml \
 		\
 		abstract/abs_interp.ml \
+		abstract/abs_interp_edd.ml \
 		interpret/interpret.ml \
 
 all: $(BIN)
-- 
cgit v1.2.3