summaryrefslogtreecommitdiff
path: root/parsing/depend.ml
diff options
context:
space:
mode:
authorHugo Heuzard <hugo.heuzard@gmail.com>2018-07-24 09:25:21 +0100
committerHugo Heuzard <hugo.heuzard@gmail.com>2018-08-06 11:06:30 +0100
commitc4dd1e67b519dbe42b8a634dc4638a63a5c56a5d (patch)
tree01214721960b7b59a0e6cd3b350800aa9791bf3f /parsing/depend.ml
parent50f3cef9a634c0d71b1c0c43d2fd7841d69d6947 (diff)
downloadocaml-c4dd1e67b519dbe42b8a634dc4638a63a5c56a5d.tar.gz
Add locations to toplevel directives
Diffstat (limited to 'parsing/depend.ml')
-rw-r--r--parsing/depend.ml2
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