From 2fc8773863326753c25cb1e60918024a0d99e41d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 14 Dec 2000 15:32:22 +0000
Subject: Amélioration message d'erreur

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1108 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/astterm.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/parsing/astterm.ml b/parsing/astterm.ml
index bfadb08392..8495df2427 100644
--- a/parsing/astterm.ml
+++ b/parsing/astterm.ml
@@ -62,7 +62,9 @@ let mal_formed_mssg () =
 (* determines if some pattern variable starts with uppercase *)
 let warning_uppercase loc uplid = (* Comment afficher loc ?? *)
   let vars =
-    prlist_with_sep pr_spc (fun v -> [< 'sTR (string_of_id v) >]) uplid in
+    prlist_with_sep 
+      (fun () -> [< 'sTR ", " >]) (* We avoid 'sPC, else it breaks the line *)
+      (fun v -> [< 'sTR (string_of_id v) >]) uplid in
   let (s1,s2) = if List.length uplid = 1 then (" ","s ") else ("s "," ") in
   wARN [<'sTR ("the variable"^s1); vars;
 	 'sTR (" start"^s2^"with an upper case letter in pattern") >]
-- 
cgit v1.2.3