Update src/lib/reasoners/enum_rel.ml

Co-authored-by: Basile Clément <[email protected]>
Halbaroth · Oct 12, 2023 · 8d8f65f · 8d8f65f
1 parent 7d7c0c8
commit 8d8f65f
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
@@ -57,7 +57,7 @@ type t = {
      The field is updated while assuming literals of the theory. *)
 
   size_splits : Numbers.Q.t
-  (* Limit the number of case-splits do by this theory. The counter is
+  (* Limit the number of case-splits performed by this theory. The counter is
      increased while assuming new literals of the theory. *)
 }