From 999abb3fb39ba343c1a520661b49e0ebca5d2d40 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Tue, 4 Jun 2013 16:16:59 +0000
Subject: Backtrack on unneeded change of interface for pose_metas_as_evars.

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

(limited to 'tactics')

diff --git a/tactics/autorewrite.ml b/tactics/autorewrite.ml
index 4ebe089e96..a4269b17c6 100644
--- a/tactics/autorewrite.ml
+++ b/tactics/autorewrite.ml
@@ -240,7 +240,7 @@ let decompose_applied_relation metas env sigma c ctype left2right =
     let eqclause = Clenv.mk_clenv_from_env env sigma None (c,ty) in
     let eqclause =
       if metas then eqclause
-      else fst (clenv_pose_metas_as_evars eqclause (Evd.undefined_metas eqclause.evd))
+      else clenv_pose_metas_as_evars eqclause (Evd.undefined_metas eqclause.evd)
     in
     let (equiv, args) = decompose_app (Clenv.clenv_type eqclause) in
     let rec split_last_two = function
-- 
cgit v1.2.3