Corrections diverses

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

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/RefMan-gal.tex b/doc/RefMan-gal.tex
index 45a055c3b..9691af050 100644
--- a/doc/RefMan-gal.tex
+++ b/doc/RefMan-gal.tex
@@ -575,7 +575,7 @@ as a postulate.
 \item {\tt Parameter {\ident} : {\term}.}
   \comindex{Parameter}\\
   Is equivalent to {\tt Axiom {\ident} : {\term}}
-\item {\tt Parameter \nelist{\nelist{\ident}{,} : {\term}}{;} {\tt .}} \\
+\item {\tt Parameter \nelist{\nelistwithoutblank{\ident}{,} : {\term}}{;} {\tt .}} \\
 %        Is equivalent to {\tt Axiom {\lident} : {\term}}  
   Links the {\term}'s to the names comprising the lists \nelist{\nelist{\ident}{,} : {\term}}{;}.
 \end{Variants}