diff options
author | Son Ho | 2023-11-12 19:35:24 +0100 |
---|---|---|
committer | Son Ho | 2023-11-12 19:35:24 +0100 |
commit | 0a5859fbb7bcd99bfa221eaf1af029ff660bf963 (patch) | |
tree | 2fc90c855ac49b1649b115f0e0e9b179dc993439 /compiler/PureUtils.ml | |
parent | b9f33bdd871a1bd7a1bd29f148dd05bd7990548b (diff) |
Rename some variants
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 5e46d551..49c8dd70 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_TypeVar _ var_id = subst.ty_subst var_id - method! visit_ConstGenericVar _ 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 |