1 files changed, 9 insertions, 7 deletions
diff --git a/main.ml b/main.ml
index 08ec36a..c283328 100644
--- a/main.ml
+++ b/main.ml
@@ -13,24 +13,26 @@ open Abs_interp_dynpart
 
 module Interpret = Interpret.I
 
-module ItvND = Nonrelational.ND(Intervals_domain.VD)
+module ItvND = Apron_domain.ND_Box   (* Nonrelational.ND(Intervals_domain.VD) *)
+module PolyND = Apron_domain.ND_Poly
+module OctND = Apron_domain.ND_Oct
 
 module AI_Itv = Abs_interp.I(Enum_domain.MultiValuation)(ItvND)
-module AI_Poly = Abs_interp.I(Enum_domain.MultiValuation)(Apron_domain.ND_Poly)
-module AI_Oct = Abs_interp.I(Enum_domain.MultiValuation)(Apron_domain.ND_Oct)
+module AI_Poly = Abs_interp.I(Enum_domain.MultiValuation)(PolyND)
+module AI_Oct = Abs_interp.I(Enum_domain.MultiValuation)(OctND)
 
 module AI_Itv_EDD = Abs_interp_edd.I(ItvND)
-module AI_Poly_EDD = Abs_interp_edd.I(Apron_domain.ND_Poly)
-module AI_Oct_EDD = Abs_interp_edd.I(Apron_domain.ND_Oct)
+module AI_Poly_EDD = Abs_interp_edd.I(PolyND)
+module AI_Oct_EDD = Abs_interp_edd.I(OctND)
 
 module AI_S_Itv_DP = Abs_interp_dynpart.I
       (Enum_domain.MultiValuation)(ItvND)
 module AI_S_Rel_DP = Abs_interp_dynpart.I
-      (Enum_domain.MultiValuation)(Apron_domain.ND_Poly)
+      (Enum_domain.MultiValuation)(PolyND)
 module AI_EDD_Itv_DP = Abs_interp_dynpart.I
       (Enum_domain_edd.EDD)(ItvND)
 module AI_EDD_Rel_DP = Abs_interp_dynpart.I
-      (Enum_domain_edd.EDD)(Apron_domain.ND_Poly)
+      (Enum_domain_edd.EDD)(PolyND)
 
 (* command line options *)
 let times = ref false