diff options
author | Leo White <leo@lpw25.net> | 2017-09-15 09:29:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-15 09:29:29 +0100 |
commit | 5cb27d8ebbc22a5eb2e921b63819aaad7bc96021 (patch) | |
tree | f13cd9285b6c3a2a43ec4c27a88a2201bea23790 /parsing/depend.ml | |
parent | 1501bc9bb0bcf336f45595713b136d22464d99f9 (diff) | |
parent | e87113c782e0ceaa43e351d5dd31d5022413a787 (diff) | |
download | ocaml-5cb27d8ebbc22a5eb2e921b63819aaad7bc96021.tar.gz |
Merge pull request #792 from sliquister/generalize-destr-subst2
Fixing the limitations on destructive substitutions
Diffstat (limited to 'parsing/depend.ml')
-rw-r--r-- | parsing/depend.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/depend.ml b/parsing/depend.ml index d68b440b8d..e0851d7610 100644 --- a/parsing/depend.ml +++ b/parsing/depend.ml @@ -307,7 +307,7 @@ and add_modtype bv mty = (function | Pwith_type (_, td) -> add_type_declaration bv td | Pwith_module (_, lid) -> addmodule bv lid - | Pwith_typesubst td -> add_type_declaration bv td + | Pwith_typesubst (_, td) -> add_type_declaration bv td | Pwith_modsubst (_, lid) -> addmodule bv lid ) cstrl |