From 6179fed42a11365c753aee55470bb69dc780e1ba Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 10:10:33 +0100
Subject: Implement statement_has_loops and make minor modifications

---
 src/Substitute.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/Substitute.ml')

diff --git a/src/Substitute.ml b/src/Substitute.ml
index d3c3c430..1b6003bb 100644
--- a/src/Substitute.ml
+++ b/src/Substitute.ml
@@ -52,7 +52,6 @@ let fresh_regions_with_substs (region_vars : T.region_var list)
   let ctx, fresh_region_ids =
     List.fold_left_map (fun ctx _ -> C.fresh_region_id ctx) ctx region_vars
   in
-  let fresh_regions = List.map (fun rid -> T.Var rid) fresh_region_ids in
   (* Generate the map from region var ids to regions *)
   let ls = List.combine region_vars fresh_region_ids in
   let rid_map =
-- 
cgit v1.2.3