From 05282a1501921df27f196e0989e4c07ef948454d Mon Sep 17 00:00:00 2001 From: Pierrot Date: Thu, 12 Oct 2023 17:08:16 +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 764d779964..ebd51e9069 100644 --- a/src/lib/reasoners/enum_rel.ml +++ b/src/lib/reasoners/enum_rel.ml @@ -238,7 +238,7 @@ let count_splits env la = {env with size_splits = nb} (* Add the uninterpreted semantic value [r] to the environment [env] with the - total domain. *) + all the constructors of its type as domain. *) let add_aux env r = Debug.add r; match Sh.embed r, values_of r with