diff options
| -rw-r--r-- | proofs/proofview.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |