Abstract interpretation gives good results on the limiter example.

1 files changed, 1 insertions, 1 deletions

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