From 74ddca99c649f2f8c203582a9b82bddf64fb6b52 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Tue, 22 Apr 2014 15:31:12 +0200
Subject: Removing dead code, thanks to new OCaml warnings and a bit of
 scripting.

---
 lib/util.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'lib/util.ml')

diff --git a/lib/util.ml b/lib/util.ml
index c293e4dfd..9ade75147 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -100,10 +100,6 @@ let iterate =
 let repeat n f x =
   let rec loop i = if i <> 0 then (f x; loop (i - 1)) in loop n
 
-let iterate_for a b f x =
-  let rec iterate i v = if i > b then v else iterate (succ i) (f i v) in
-  iterate a x
-
 let app_opt f x =
   match f with
   | Some f -> f x
-- 
cgit v1.2.3