From 7d7c0c85dca606030ec7a0f16c684d41d7a68121 Mon Sep 17 00:00:00 2001 From: Pierrot Date: Thu, 12 Oct 2023 14:07:39 +0200 Subject: [PATCH] Update src/lib/reasoners/enum_rel.ml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Basile Clément <129742207+bclement-ocp@users.noreply.github.com> --- src/lib/reasoners/enum_rel.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/reasoners/enum_rel.ml b/src/lib/reasoners/enum_rel.ml index 23670d07d7..5917822ed3 100644 --- a/src/lib/reasoners/enum_rel.ml +++ b/src/lib/reasoners/enum_rel.ml @@ -273,7 +273,7 @@ let assume env uf la = let add env _ r _ = add_aux env r, [] (* Do a case-split by choosing a value for a uninterpreted semantic value - whose the domain in [env] is of minimal size. *) + whose domain in [env] is of minimal size. *) let case_split env uf ~for_model = let acc = MX.fold (fun r (hss, _) acc ->