From 59586ce49266f6b709cb53e4647b8907a7a08eb8 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 28 Mar 2016 16:07:44 +0200
Subject: Fixing an evar leak in Rewrite introduced by 968dfdb15.

---
 ltac/rewrite.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ltac/rewrite.ml b/ltac/rewrite.ml
index 2fe2eb42a6..20d4651efa 100644
--- a/ltac/rewrite.ml
+++ b/ltac/rewrite.ml
@@ -359,7 +359,7 @@ end) = struct
 	   let env' = Environ.push_rel_context rels env in
 	   let sigma = Sigma.Unsafe.of_evar_map sigma in
 	   let Sigma ((evar, _), evars, _) = Evarutil.new_type_evar env' sigma Evd.univ_flexible in
-	   let evars = Sigma.to_evar_map sigma in
+	   let evars = Sigma.to_evar_map evars in
 	   let evars, inst = 
 	     app_poly env (evars,Evar.Set.empty)
 	       rewrite_relation_class [| evar; mkApp (c, params) |] in
-- 
cgit v1.2.3