From 31e6cdfdf890e1a4965a7e496cc3335cc4ca4b55 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 15 Apr 2001 00:53:16 +0000
Subject: Bug affichage ordre des variables d'un pattern

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1592 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/cases.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pretyping/cases.ml b/pretyping/cases.ml
index 221b0998d3..92c22735e1 100644
--- a/pretyping/cases.ml
+++ b/pretyping/cases.ml
@@ -654,8 +654,8 @@ let get_names env sign eqns =
 	     (fun (na,t) -> Name (next_name_away (named_hd env t na) avoid))
 	     d na 
 	 in
-      (na::l,(out_name na)::avoid)) ([],allvars) sign names2 in
-  List.rev names4
+      (na::l,(out_name na)::avoid)) ([],allvars) (List.rev sign) names2 in
+  names4
 
 (************************************************************************)
 (* Recovering names for variables pushed to the rhs' environment *)
-- 
cgit v1.2.3