1 files changed, 6 insertions, 2 deletions
diff --git a/main.ml b/main.ml
index b63b35f..72c43b0 100644
--- a/main.ml
+++ b/main.ml
@@ -2,9 +2,13 @@ open Ast
 
 module Interpret = Interpret.I
 
-module ItvD = Nonrelational.D(Intervals_domain.VD)
+module ItvND = Nonrelational.ND(Intervals_domain.VD)
+module ItvD = Abs_domain.D(ItvND)
+
+module ApronD = Abs_domain.D(Apron_domain.ND)
+
 module AI_Itv = Abs_interp.I(ItvD)
-module AI_Rel = Abs_interp.I(Apron_domain.D)
+module AI_Rel = Abs_interp.I(ApronD)
 
 (* command line options *)
 let dump = ref false