Update src/lib/reasoners/enum.ml

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