From ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Tue, 17 Jun 2014 15:31:47 +0200
Subject: Add bindings to apron. Next : work on abstract interpret.

---
 main.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'main.ml')

diff --git a/main.ml b/main.ml
index 08bfe91..ccc0e0d 100644
--- a/main.ml
+++ b/main.ml
@@ -2,6 +2,8 @@ open Ast
 
 module Interpret = Interpret.I
 
+module Abstract = Apron_domain.D
+
 (* command line options *)
 let dump = ref false
 let dumprn = ref false
-- 
cgit v1.2.3