Update src/lib/reasoners/enum_rel.ml

Co-authored-by: Basile Clément <[email protected]>
Halbaroth · Oct 12, 2023 · 7d7c0c8 · 7d7c0c8
1 parent 341a0a3
commit 7d7c0c8
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
@@ -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 ->