From 0caa1ebe947646459295c6a66da6bf19f399c21e Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 18 Jun 2014 12:13:17 +0200
Subject: Abstract interpretation gives good results on the limiter example.

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

(limited to 'main.ml')

diff --git a/main.ml b/main.ml
index d063699..aa60c57 100644
--- a/main.ml
+++ b/main.ml
@@ -3,7 +3,7 @@ open Ast
 module Interpret = Interpret.I
 
 module IntD = Nonrelational.D(Intervals_domain.VD)
-module AI = Abs_interp.I(IntD)
+module AI = Abs_interp.I(Apron_domain.D)
 
 (* command line options *)
 let dump = ref false
-- 
cgit v1.2.3