From 629ac006253938d252529edb56dd2442e8e6b76f Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 16 Mar 2000 22:15:28 +0000
Subject: 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
---
 kernel/environ.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'kernel')

diff --git a/kernel/environ.ml b/kernel/environ.ml
index b98b293092..e203af98e6 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
-- 
cgit v1.2.3