Update src/lib/reasoners/enum.ml

Co-authored-by: Basile Clément <[email protected]>
Halbaroth · Oct 12, 2023 · 7e47615 · 7e47615
1 parent f67d719
commit 7e47615
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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. *)