From 8d8f65f9428e3002c5c1e90b54f4c381c38d70c7 Mon Sep 17 00:00:00 2001 From: Pierrot Date: Thu, 12 Oct 2023 14:11:20 +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 5917822ed3..2008a2e991 100644 --- 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. *) }