From 9402b6efad32757f44d72d83f6aabdca8829e3ed Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 7 Nov 2017 00:48:14 +0100
Subject: [api] Remove 8.7 ML-deprecated functions.

---
 lib/loc.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'lib/loc.ml')

diff --git a/lib/loc.ml b/lib/loc.ml
index 4a935a9d9c..2cf4d3960b 100644
--- a/lib/loc.ml
+++ b/lib/loc.ml
@@ -84,9 +84,3 @@ let raise ?loc e =
     let info = Exninfo.add Exninfo.null location loc in
     Exninfo.iraise (e, info)
 
-(** Deprecated *)
-let located_fold_left f x (_,a) = f x a
-let located_iter2 f (_,a) (_,b) = f a b
-let down_located f (_,a) = f a
-
-
-- 
cgit v1.2.3