From d37cfb8ce43a7af953085b2657795028a3866388 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Tue, 8 Jul 2014 11:03:43 +0200 Subject: Revert that. We have two different domain kinds for enums, that's all. --- main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'main.ml') diff --git a/main.ml b/main.ml index e5d162e..d91d139 100644 --- a/main.ml +++ b/main.ml @@ -12,8 +12,8 @@ module Interpret = Interpret.I module ItvND = Nonrelational.ND(Intervals_domain.VD) -module AI_Itv = Abs_interp.I(Enum_domain_edd.EDD)(ItvND) -module AI_Rel = Abs_interp.I(Enum_domain_edd.EDD)(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) module AI_Rel_EDD = Abs_interp_edd.I(Apron_domain.ND) -- cgit v1.2.3