doc-src/Ref/goals.tex

--- a/doc-src/Ref/goals.tex	Mon May 03 18:35:48 1999 +0200
+++ b/doc-src/Ref/goals.tex	Mon May 03 19:03:35 1999 +0200
@@ -309,7 +309,7 @@
 \end{ttdescription}
 
 \goodbreak
-\noindent{\it Error indications for \texttt{back}:}\par\nobreak
+\noindent{\it Error indications for {\tt back}:}\par\nobreak
 \begin{itemize}
 \item{\footnotesize\tt"Warning:\ same as previous choice at this level"}
   means \texttt{back} found a non-empty branch point, but that it contained