summaryrefslogtreecommitdiff
path: root/parsing/depend.ml
diff options
context:
space:
mode:
authoroctachron <octa@polychoron.fr>2017-10-10 22:23:20 +0200
committerGabriel Scherer <gabriel.scherer@gmail.com>2017-10-19 14:40:15 +0200
commitc1ff8cb4bdbaaa369e2f09ebd04de5a142c16d5e (patch)
tree36a3fdf5807a2aa573edd0920fde1887fb535b4c /parsing/depend.ml
parent86e35c1261136212a3735a8d14fd7c54599b1926 (diff)
downloadocaml-c1ff8cb4bdbaaa369e2f09ebd04de5a142c16d5e.tar.gz
ocamldep: skim add_module_alias try ... with
Diffstat (limited to 'parsing/depend.ml')
-rw-r--r--parsing/depend.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/parsing/depend.ml b/parsing/depend.ml
index 99ceb6d52c..a6b4e85283 100644
--- a/parsing/depend.ml
+++ b/parsing/depend.ml
@@ -315,10 +315,10 @@ and add_modtype bv mty =
| Pmty_extension e -> handle_extension e
and add_module_alias bv l =
- try
- (* If we are in delayed dependencies mode, we delay the dependencies
+ (* If we are in delayed dependencies mode, we delay the dependencies
induced by "Lident s" *)
- (if !Clflags.transparent_modules then add_parent else addmodule) bv l;
+ (if !Clflags.transparent_modules then add_parent else addmodule) bv l;
+ try
lookup_map l.txt bv
with Not_found ->
match l.txt with