diff options
author | Hugo Heuzard <hugo.heuzard@gmail.com> | 2018-07-24 09:25:21 +0100 |
---|---|---|
committer | Hugo Heuzard <hugo.heuzard@gmail.com> | 2018-08-06 11:06:30 +0100 |
commit | c4dd1e67b519dbe42b8a634dc4638a63a5c56a5d (patch) | |
tree | 01214721960b7b59a0e6cd3b350800aa9791bf3f /parsing/depend.ml | |
parent | 50f3cef9a634c0d71b1c0c43d2fd7841d69d6947 (diff) | |
download | ocaml-c4dd1e67b519dbe42b8a634dc4638a63a5c56a5d.tar.gz |
Add locations to toplevel directives
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 079b731b64..b421e24604 100644 --- a/parsing/depend.ml +++ b/parsing/depend.ml @@ -485,7 +485,7 @@ and add_implementation_binding bv l = and add_top_phrase bv = function | Ptop_def str -> add_structure bv str - | Ptop_dir (_, _) -> bv + | Ptop_dir _ -> bv and add_class_expr bv ce = match ce.pcl_desc with |