diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-01-01 23:23:14 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-01-01 23:23:14 +0100 |
commit | 97c1dfa2f76a61992e600be4f07babb5be9c521e (patch) | |
tree | dd284ed64bd38afe80966b3bab130a807e668cf5 /tools/ocamllibdep.mll | |
parent | beab8bdff2daec9012c12648cad3f9b458a78124 (diff) |
Remove useless recursive flags.
Diffstat (limited to 'tools/ocamllibdep.mll')
-rw-r--r-- | tools/ocamllibdep.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ocamllibdep.mll b/tools/ocamllibdep.mll index 1bcbe7c0e..670ff487c 100644 --- a/tools/ocamllibdep.mll +++ b/tools/ocamllibdep.mll @@ -164,7 +164,7 @@ let traite_fichier_modules md ext = let addQueue q v = q := v :: !q -let rec treat_file old_name = +let treat_file old_name = let name = Filename.basename old_name in let dirname = Some (Filename.dirname old_name) in match get_extension name [".mllib"] with |