From a2da1268c4a9af6755723698b7b6ba669aa7fd46 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 19 Jun 2014 10:21:35 +0200
Subject: Do some typing ; support multiple pre in abstract interpretation.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 7645849..6386a97 100644
--- a/Makefile
+++ b/Makefile
@@ -8,6 +8,9 @@ SRC= 	main.ml \
 		frontend/parser.mly \
 		frontend/lexer.mll \
 		frontend/ast_printer.ml \
+		frontend/typing.ml \
+		frontend/ast_util.ml \
+		frontend/rename.ml \
 		abstract/formula.ml \
 		abstract/formula_printer.ml \
 		abstract/transform.ml \
@@ -17,8 +20,6 @@ SRC= 	main.ml \
 		abstract/nonrelational.ml \
 		abstract/intervals_domain.ml \
 		interpret/interpret.ml \
-		interpret/ast_util.ml \
-		interpret/rename.ml
 
 all: $(BIN)
 
-- 
cgit v1.2.3