diff options
author | Son Ho | 2021-12-01 13:57:41 +0100 |
---|---|---|
committer | Son Ho | 2021-12-01 13:57:41 +0100 |
commit | 59af28530b66d49bf0a882ecee7b6198c2daf1e1 (patch) | |
tree | 967dc411a928c90db569a391c04e22502fbde839 /src/Interpreter.ml | |
parent | 45f6fe94644944bac5a0fbbce5e6cda2c0fba65a (diff) |
Factorize type_var and region_var
Diffstat (limited to 'src/Interpreter.ml')
-rw-r--r-- | src/Interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |