diff options
author | Son Ho | 2023-11-20 21:58:25 +0100 |
---|---|---|
committer | Son Ho | 2023-11-20 21:58:25 +0100 |
commit | 672ceef25203ebd5fcf5a55e294a4ebfe65648d6 (patch) | |
tree | ed1f2e69fe173e25b6c137c350e87a855b513e46 /compiler/Interpreter.ml | |
parent | 4a3779de578cebe01143bb18d295457107be1e3a (diff) |
Use the name matcher implemented in Charon
Diffstat (limited to '')
-rw-r--r-- | compiler/Interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index 5b2db90d..c2e47da9 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -80,7 +80,7 @@ let symbolic_instantiate_fun_sig (ctx : eval_ctx) (sg : fun_sig) let regions = List.map (fun _ -> RErased) regions in let types = List.map (fun (v : type_var) -> TVar v.index) types in let const_generics = - List.map (fun (v : const_generic_var) -> CGVar v.index) const_generics + List.map (fun (v : const_generic_var) -> CgVar v.index) const_generics in (* Annoying that we have to generate this substitution here *) let r_subst _ = raise (Failure "Unexpected region") in |