From b5f0c9f7cd409ab42f034309eedb7eb0247e05cf Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 23 Dec 2014 17:26:38 +0100 Subject: Vi2vo: fix handling of univ constraints coming from the body --- checker/values.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'checker/values.ml') diff --git a/checker/values.ml b/checker/values.ml index 08cb08be8..ea3df47f5 100644 --- a/checker/values.ml +++ b/checker/values.ml @@ -109,7 +109,7 @@ let v_cstrs = let v_instance = Annot ("instance", Array v_level) let v_context = v_tuple "universe_context" [|v_instance;v_cstrs|] -let v_context_set = v_tuple "universe_context_set" [|v_set v_level;v_cstrs|] +let v_context_set = v_tuple "universe_context_set" [|v_hset v_level;v_cstrs|] (** kernel/term *) -- cgit v1.2.3