From 59af28530b66d49bf0a882ecee7b6198c2daf1e1 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 1 Dec 2021 13:57:41 +0100
Subject: Factorize type_var and region_var

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

(limited to 'src/Substitute.ml')

diff --git a/src/Substitute.ml b/src/Substitute.ml
index 13e0b583..635795ac 100644
--- a/src/Substitute.ml
+++ b/src/Substitute.ml
@@ -61,7 +61,7 @@ let make_type_subst (var_ids : T.TypeVarId.id list) (tys : 'r T.ty list) :
 let type_def_get_instantiated_field_type (def : T.type_def)
     (opt_variant_id : T.VariantId.id option) (types : T.ety list) : T.ety list =
   let ty_subst =
-    make_type_subst (List.map (fun x -> x.T.tv_index) def.T.type_params) types
+    make_type_subst (List.map (fun x -> x.T.index) def.T.type_params) types
   in
   let fields = TU.type_def_get_fields def opt_variant_id in
   List.map
-- 
cgit v1.2.3