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/Interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Interpreter.ml')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index fefbb00b..53cef961 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -2410,7 +2410,7 @@ and eval_local_function_call (config : C.config) (ctx : C.eval_ctx)
   | ConcreteMode -> (
       let tsubst =
         Subst.make_type_subst
-          (List.map (fun v -> v.T.tv_index) def.A.signature.type_params)
+          (List.map (fun v -> v.T.index) def.A.signature.type_params)
           type_params
       in
       let locals, body = Subst.fun_def_substitute_in_body tsubst def in
-- 
cgit v1.2.3