diff options
Diffstat (limited to 'kernel/mod_subst.mli')
| -rw-r--r-- | kernel/mod_subst.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/mod_subst.mli b/kernel/mod_subst.mli index b54ae6f3b..5384d0f85 100644 --- a/kernel/mod_subst.mli +++ b/kernel/mod_subst.mli @@ -88,3 +88,5 @@ val update_subst_alias : substitution -> substitution -> substitution val subst_key : substitution -> substitution -> substitution val join_alias : substitution -> substitution -> substitution + +val remove_alias : substitution -> substitution |