From 4b8155591be6e20505ee25f7199edcf44a638c7e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 14 Oct 2015 14:38:22 +0200
Subject: Fixing evarmap implementation.

---
 pretyping/evd.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pretyping/evd.ml b/pretyping/evd.ml
index 3d912ca4ce..1107c2951e 100644
--- a/pretyping/evd.ml
+++ b/pretyping/evd.ml
@@ -750,7 +750,7 @@ let cmap f evd =
   { evd with
       metas = Metamap.map (map_clb f) evd.metas;
       defn_evars = EvMap.map (map_evar_info f) evd.defn_evars;
-      undf_evars = EvMap.map (map_evar_info f) evd.defn_evars
+      undf_evars = EvMap.map (map_evar_info f) evd.undf_evars
   }
 
 (* spiwack: deprecated *)
-- 
cgit v1.2.3