1 files changed, 2 insertions, 2 deletions
diff --git a/main.ml b/main.ml
index 5956b9e..d526a76 100644
--- a/main.ml
+++ b/main.ml
@@ -9,8 +9,8 @@ module Interpret = Interpret.I
 
 module ItvND = Nonrelational.ND(Intervals_domain.VD)
 
-module AI_Itv = Abs_interp.I(Enum_domain.MultiValuationCCons)(ItvND)
-module AI_Rel = Abs_interp.I(Enum_domain.MultiValuationCCons)(Apron_domain.ND)
+module AI_Itv = Abs_interp.I(Enum_domain.MultiValuation)(ItvND)
+module AI_Rel = Abs_interp.I(Enum_domain.MultiValuation)(Apron_domain.ND)
 
 (*
 module AI_Itv_EDD = Abs_interp_edd.I(ItvND)