From acda433289896a8aea287cc9f510e9a874623533 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 18 Sep 2010 17:28:39 +0000
Subject: Fixing #2162 and #2367 (wrong order of Show Match) for branch 8.2 too
 (see otherwise r12383). Seized the opportunity to remove useless (v7-style
 syntax) parentheses in Match printing.

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

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index c5125e9ff1..eae6751776 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -151,7 +151,7 @@ let show_match id =
 	    | [] -> assert false
 	    | [x] -> "| "^ x  ^ " => \n" ^ acc
 	    | x::l ->
-		"| (" ^ List.fold_left (fun acc s ->  acc ^ " " ^ s) x l ^ ")"
+		"| " ^ List.fold_left (fun acc s ->  acc ^ " " ^ s) x l
 		^ " => \n" ^ acc)
 	"end" patterns in
     msg (str ("match # with\n" ^ cases))
-- 
cgit v1.2.3