diff options
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 |