From e0c40f091cecd6335ce41a2b904db326996863a2 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Thu, 7 Nov 2013 17:05:26 +0000
Subject: Partial application hunt.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17067 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/cString.ml | 2 +-
 lib/system.ml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/cString.ml b/lib/cString.ml
index 842625aa4e..b6f53f05d8 100644
--- a/lib/cString.ml
+++ b/lib/cString.ml
@@ -194,7 +194,7 @@ module Map = CMap.Make(Self)
 
 module List = struct
   type elt = string
-  let mem id l = List.exists (equal id) l
+  let mem id l = List.exists (fun s -> equal id s) l
   let assoc id l = CList.assoc_f equal id l
   let remove_assoc id l = CList.remove_assoc_f equal id l
   let mem_assoc id l = List.exists (fun (a,_) -> equal id a) l
diff --git a/lib/system.ml b/lib/system.ml
index fea061b048..28af1ee40f 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -24,7 +24,7 @@ let exclude_search_in_dirname f = skipped_dirnames := f :: !skipped_dirnames
 
 let ok_dirname f =
   not (String.is_empty f) && f.[0] != '.' &&
-  not (List.exists (String.equal f) !skipped_dirnames) &&
+  not (String.List.mem f !skipped_dirnames) &&
   (match Unicode.ident_refutation f with None -> true | _ -> false)
 
 let all_subdirs ~unix_path:root =
-- 
cgit v1.2.3