From b37d3f199e4521e2ae20cc96f0f2b04acc36c7cc Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 22 Dec 2017 14:11:55 +0100
Subject: [API] remove large file containing duplicate interfaces

... in favor of having Public/Internal sub modules in each and
every module grouping functions according to their intended client.
---
 plugins/.merlin          | 1 -
 plugins/funind/recdef.ml | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

(limited to 'plugins')

diff --git a/plugins/.merlin b/plugins/.merlin
index dd6678ba09..2ba6169622 100644
--- a/plugins/.merlin
+++ b/plugins/.merlin
@@ -1,2 +1 @@
 REC
-FLG -open API
diff --git a/plugins/funind/recdef.ml b/plugins/funind/recdef.ml
index 363ad5dfc9..8fe05b4978 100644
--- a/plugins/funind/recdef.ml
+++ b/plugins/funind/recdef.ml
@@ -861,7 +861,7 @@ let rec prove_le g =
         | App (c, [| x0 ; _ |]) ->
           EConstr.isVar sigma x0 &&
           Id.equal (destVar sigma x0) (destVar sigma x) &&
-          is_global sigma (le ()) c
+          EConstr.is_global sigma (le ()) c
         | _ -> false
         in
 	let (h,t) = List.find (fun (_,t) -> matching_fun t) (pf_hyps_types g)
-- 
cgit v1.2.3