From c7f855ec9e42f7dab95e153f33f9c2fcac3e8424 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 26 Nov 2021 14:49:13 +0100
Subject: Update the env definition to make the frames easier to manipulate

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

(limited to 'src/Substitute.ml')

diff --git a/src/Substitute.ml b/src/Substitute.ml
index fa7016b1..dc2821f0 100644
--- a/src/Substitute.ml
+++ b/src/Substitute.ml
@@ -31,6 +31,7 @@ let rec ty_substitute (rsubst : 'r1 -> 'r2)
   | Never -> Never
   | Integer int_ty -> Integer int_ty
   | Str -> Str
+  | TypeVar vid -> tsubst vid
 
 (** Erase the regions in a type and substitute the type variables *)
 let erase_regions_substitute_types (tsubst : T.TypeVarId.id -> T.ety)
-- 
cgit v1.2.3