From 3b647cab0d3ac143b97524e6b0a406c349898db5 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Tue, 8 Jul 2014 10:27:23 +0200 Subject: Implement stand-alone EDDs --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 3e5d01a..a6cc2d8 100644 --- a/Makefile +++ b/Makefile @@ -18,6 +18,7 @@ SRC= main.ml \ abstract/apron_domain.ml \ abstract/num_domain.ml \ abstract/enum_domain.ml \ + abstract/enum_domain_edd.ml \ \ abstract/formula.ml \ abstract/formula_printer.ml \ -- cgit v1.2.3