diff options
Diffstat (limited to 'ocaml-namespaces/ocamldoc/odoc_ast.ml')
| -rw-r--r-- | ocaml-namespaces/ocamldoc/odoc_ast.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ocaml-namespaces/ocamldoc/odoc_ast.ml b/ocaml-namespaces/ocamldoc/odoc_ast.ml index c497794184..25f68ce394 100644 --- a/ocaml-namespaces/ocamldoc/odoc_ast.ml +++ b/ocaml-namespaces/ocamldoc/odoc_ast.ml @@ -1381,7 +1381,9 @@ module Analyser = in (0, new_env2, [ Element_module_type mt ]) - | Parsetree.Pstr_open longident -> + | Parsetree.Pstr_open (longident,Some _) -> assert false (* TODO *) + + | Parsetree.Pstr_open (longident,None) -> (* A VOIR : enrichir l'environnement quand open ? *) let ele_comments = match comment_opt with None -> [] |