1 files changed, 1 insertions, 1 deletions
diff --git a/tools.ml b/tools.ml
index 45c9bab..53b1c15 100755
--- a/tools.ml
+++ b/tools.ml
@@ -143,7 +143,7 @@ module List = struct
   | [] -> raise Not_found
   | hd::tl -> begin match f hd with
               | Some x -> x
-              | None -> find_map f tl
+              | None -> (find_map[@tailrec]) f tl
               end
   end