mauvais parenthesage dans hd_name (patterns imbriques)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@317 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 6 insertions, 6 deletions

diff --git a/kernel/environ.ml b/kernel/environ.ml
index b98b29309..e203af98e 100644
--- a/kernel/environ.ml
+++ b/kernel/environ.ml
@@ -175,12 +175,12 @@ let hdchar env c =
     | VAR id  -> lowercase_first_char id
     | DOP0(Sort s) -> sort_hdchar s
     | Rel n ->
-	if n<=k then "p" (* the initial term is flexible product/function *)
-	else
-	  try match lookup_rel (n-k) env with
-	    | Name id,_ -> lowercase_first_char id
-	    | Anonymous,t -> hdrec 0 (lift (n-k) (body_of_type t))
-	  with Not_found -> "y"
+	(if n<=k then "p" (* the initial term is flexible product/function *)
+	 else
+	   try match lookup_rel (n-k) env with
+	     | Name id,_ -> lowercase_first_char id
+	     | Anonymous,t -> hdrec 0 (lift (n-k) (body_of_type t))
+	   with Not_found -> "y")
     | _ -> "y"
   in 
   hdrec 0 c