From 7e476152ae640e6a53040752e9531d114526d1eb Mon Sep 17 00:00:00 2001 From: Pierrot Date: Thu, 12 Oct 2023 14:06:42 +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 08ce670e3d..414bb93118 100644 --- a/src/lib/reasoners/enum.ml +++ b/src/lib/reasoners/enum.ml @@ -34,7 +34,7 @@ module Hs = Hstring type 'a abstract = | Cons of Hs.t * Ty.t - (* [Cons(hs, ty)] reprensents a constructor of an enum type of type [ty]. *) + (* [Cons(hs, ty)] represents a constructor of an enum type of type [ty]. *) | Alien of 'a (* [Alien r] reprensents a uninterpreted enum semantic values. *)