Typo

Co-authored-by: Son HO <[email protected]>
AeneasVerif · Dec 4, 2024 · c279025 · c279025
1 parent e329346
commit c279025
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)