From 041426ccc1b8c46578de38cd5a816a38158a51db Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 1 Nov 2017 20:06:02 +0100
Subject: Moved range extraction function in ScTypes.ml

---
 tools.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools.ml')

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