From b5c5f67c628e6ba7c987e9a306f7a0efdebf85cf Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Thu, 16 Oct 2014 15:13:58 +0200
Subject: Grab Existential Variables: restore the goal order from v8.4.

Changes in the implementation details had unwittingly changed the order in which Grab Existential Variables displayed the goals.
---
 proofs/proofview.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proofs/proofview.ml b/proofs/proofview.ml
index d387bbf597..dd15159181 100644
--- a/proofs/proofview.ml
+++ b/proofs/proofview.ml
@@ -872,7 +872,7 @@ module V82 = struct
   (* Main function in the implementation of Grab Existential Variables.*)
   let grab pv =
     let undef = Evd.undefined_map pv.solution in
-    let goals = List.map fst (Evar.Map.bindings undef) in
+    let goals = List.rev_map fst (Evar.Map.bindings undef) in
     { pv with comb = goals }
       
     
-- 
cgit v1.2.3