From 341a0a3f56d12266fb81b9286d6f7cbcd586d2a3 Mon Sep 17 00:00:00 2001 From: Pierrot Date: Thu, 12 Oct 2023 14:06:51 +0200 Subject: [PATCH] Update src/lib/reasoners/enum.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.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/reasoners/enum.ml b/src/lib/reasoners/enum.ml index 414bb93118..f0f1d51a44 100644 --- a/src/lib/reasoners/enum.ml +++ b/src/lib/reasoners/enum.ml @@ -37,7 +37,7 @@ type 'a abstract = (* [Cons(hs, ty)] represents a constructor of an enum type of type [ty]. *) | Alien of 'a - (* [Alien r] reprensents a uninterpreted enum semantic values. *) + (* [Alien r] represents a uninterpreted enum semantic value. *) module type ALIEN = sig include Sig.X