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/PureUtils.ml | |
parent | 4a3779de578cebe01143bb18d295457107be1e3a (diff) |
Use the name matcher implemented in Charon
Diffstat (limited to '')
-rw-r--r-- | compiler/PureUtils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/PureUtils.ml b/compiler/PureUtils.ml index 5f92d18a..06270621 100644 --- a/compiler/PureUtils.ml +++ b/compiler/PureUtils.ml @@ -111,7 +111,7 @@ let ty_substitute (subst : subst) (ty : ty) : ty = object inherit [_] map_ty method! visit_TVar _ var_id = subst.ty_subst var_id - method! visit_CGVar _ var_id = subst.cg_subst var_id + method! visit_CgVar _ var_id = subst.cg_subst var_id method! visit_Clause _ id = subst.tr_subst id method! visit_Self _ = subst.tr_self end |