From c279025e4f0f6a11a090e2eab9f606978b06b95c Mon Sep 17 00:00:00 2001
From: Nadrieril <Nadrieril@users.noreply.github.com>
Date: Wed, 4 Dec 2024 13:25:04 +0100
Subject: [PATCH] Typo

Co-authored-by: Son HO <son.marc.ho@hotmail.com>
---
 src/llbc/Substitute.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/llbc/Substitute.ml b/src/llbc/Substitute.ml
index fc5ef072..5b48096d 100644
--- a/src/llbc/Substitute.ml
+++ b/src/llbc/Substitute.ml
@@ -28,7 +28,7 @@ let fresh_regions_with_substs (region_vars : RegionVarId.id list)
     RegionId.id RegionVarId.Map.t
     * (RegionVarId.id -> RegionId.id)
     * (region -> region) =
-  (* Map each region var ids to a fresh region *)
+  (* Map each region var id to a fresh region *)
   let rid_map =
     RegionVarId.Map.of_list
       (List.map (fun var -> (var, fresh_region_id ())) region_vars)