squeezed some space out of a line that was too long

diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index 8f18c22539205cdb889a24d28ead49126df3464b..00383ef383b9d2181c627153023875bd0738b6c7 100644 (file)
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -62,8 +62,8 @@ reverse quotes or in parentheses, brackets or braces are also
 categorized syntactically as atoms.  The syntax for atoms is:
 
 \begin{verbatim}
-atom:           identifier | literal | enclosure
-enclosure:      parenth_form | list_display | dict_display | string_conversion
+atom:      identifier | literal | enclosure
+enclosure: parenth_form|list_display|dict_display|string_conversion
 \end{verbatim}
 
 \subsection{Identifiers (Names)}

diff --git a/Doc/ref5.tex b/Doc/ref5.tex
index 8f18c22539205cdb889a24d28ead49126df3464b..00383ef383b9d2181c627153023875bd0738b6c7 100644 (file)
--- a/Doc/ref5.tex
+++ b/Doc/ref5.tex
@@ -62,8 +62,8 @@ reverse quotes or in parentheses, brackets or braces are also
 categorized syntactically as atoms.  The syntax for atoms is:
 
 \begin{verbatim}
-atom:           identifier | literal | enclosure
-enclosure:      parenth_form | list_display | dict_display | string_conversion
+atom:      identifier | literal | enclosure
+enclosure: parenth_form|list_display|dict_display|string_conversion
 \end{verbatim}
 
 \subsection{Identifiers (Names)}