Update src/lib/reasoners/enum_rel.ml

Co-authored-by: Basile Clément <[email protected]>
Halbaroth · Oct 12, 2023 · e769b7b · e769b7b
1 parent 8d8f65f
commit e769b7b
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
@@ -280,7 +280,7 @@ let case_split env uf ~for_model =
          let x, _ = Uf.find_r uf r in
          match Sh.embed x with
          | Cons _ ->
-           (* The equivalence class of [r] already contains a value and
+           (* The equivalence class of [r] already contains a value so
               we don't need to make another case-split for this semantic
               value. *)
            acc