diff options
| author | Valentin Gatien-Baron <valentin.gatienbaron@gmail.com> | 2016-08-30 00:16:28 -0400 |
|---|---|---|
| committer | Valentin Gatien-Baron <valentin.gatienbaron@gmail.com> | 2017-08-01 07:32:08 -0400 |
| commit | f29cd5ab6dcd544b52493fece64563f2621f4ff3 (patch) | |
| tree | 2a47db4316d75958b2b81beada6ffb9c558914d4 /parsing/depend.ml | |
| parent | 44b6bbf5d197d2d7fa840b41ead5ec7e25660f9e (diff) | |
| download | ocaml-f29cd5ab6dcd544b52493fece64563f2621f4ff3.tar.gz | |
Support syntax: S with M.N.t := ...
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 910ad8992c..059be5b450 100644 --- a/parsing/depend.ml +++ b/parsing/depend.ml @@ -304,7 +304,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 |