From 9dc3b26ecf2bba6993febaca816c6797147ee7b9 Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 22 Sep 2022 16:26:00 +0200
Subject: Update src/TypesUtils.ml

---
 src/TypesUtils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TypesUtils.ml b/src/TypesUtils.ml
index 8d0624ee..8088be7f 100644
--- a/src/TypesUtils.ml
+++ b/src/TypesUtils.ml
@@ -100,7 +100,7 @@ let rty_regions_intersect (ty : rty) (regions : RegionId.Set.t) : bool =
   let ty_regions = rty_regions ty in
   not (RegionId.Set.disjoint ty_regions regions)
 
-(** Convert an [ety], containing no region variables, to an [rty] or [sty].
+(** Convert an [ety], containing no region variables, to an [rty] or an [sty].
 
     In practice, it is the identity.
  *)
-- 
cgit v1.2.3