From a3a5711d8c2f9f0e12ed707c8b69c828e30bbcf4 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 24 Oct 2013 09:41:19 +0000
Subject: Turn many List.assoc into List.assoc_f

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16925 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/closure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/closure.ml')

diff --git a/kernel/closure.ml b/kernel/closure.ml
index 28818de1f1..a32be4f692 100644
--- a/kernel/closure.ml
+++ b/kernel/closure.ml
@@ -246,7 +246,7 @@ let ref_value_cache info ref =
             | None -> raise Not_found
             | Some t -> lift n t
             end
-	| VarKey id -> List.assoc id info.i_vars
+	| VarKey id -> List.assoc_f Id.equal id info.i_vars
 	| ConstKey cst -> constant_value info.i_env cst
     in
     let v = info.i_repr info body in
-- 
cgit v1.2.3