From 292f55ed41ed1de9ed45c75266b37b6c4dba4140 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Thu, 17 Nov 2011 11:05:00 +0000
Subject: Merge fix for bug #2604.

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

diff --git a/tactics/rewrite.ml4 b/tactics/rewrite.ml4
index ff617c0683..805f4260a7 100644
--- a/tactics/rewrite.ml4
+++ b/tactics/rewrite.ml4
@@ -727,7 +727,7 @@ let unfold_match env sigma sk app =
 let is_rew_cast = function RewCast _ -> true | _ -> false
 
 let coerce env avoid cstr res = 
-  let prf, rel = get_rew_prf res, get_rew_rel res in
+  let rel, prf = get_rew_prf res in
     apply_constraint env avoid res.rew_car rel prf cstr res
 
 let subterm all flags (s : strategy) : strategy =
-- 
cgit v1.2.3