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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/cString.ml')

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