From 26846118dc8038e12d46800e89b6fab5fecef948 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 9 Jul 2014 09:40:37 +0200
Subject: Add simplification pass && better heuristic for BDDs based on
 ternaries.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a6cc2d8..ffa531c 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,7 @@ SRC= 	main.ml \
 		abstract/formula_printer.ml \
 		abstract/transform.ml \
 		\
+		abstract/varenv.ml \
 		abstract/abs_interp.ml \
 		abstract/abs_interp_edd.ml \
 		interpret/interpret.ml \
-- 
cgit v1.2.3