Update src/lib/reasoners/enum_rel.ml

Co-authored-by: Basile Clément <[email protected]>
Halbaroth · Oct 12, 2023 · 05282a1 · 05282a1
1 parent 6ec457b
commit 05282a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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