From 97c1dfa2f76a61992e600be4f07babb5be9c521e Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 1 Jan 2016 23:23:14 +0100
Subject: Remove useless recursive flags.

---
 tools/ocamllibdep.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/ocamllibdep.mll')

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
-- 
cgit v1.2.3