remove an erroneous space

IUCompilerCourse · Jan 17, 2023 · 47c787f · 47c787f
1 parent e723ef0
commit 47c787f
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/book.tex b/book.tex
@@ -19033,12 +19033,9 @@ \section{The \LangAny{} Language}
 to produce a tagged value; they return  {\TRUE} if the tag corresponds to
 the predicate and return {\FALSE} otherwise.}
 
-The type checker for \LangAny{} is shown in
-figure~\ref{fig:type-check-Lany}
-%
-\racket{ and uses the auxiliary functions presented in
-figure~\ref{fig:type-check-Lany-aux}}.
-%
+\racket{The type checker for \LangAny{} is shown in figure~\ref{fig:type-check-Lany}
+and it uses the auxiliary functions presented in figure~\ref{fig:type-check-Lany-aux}.}
+\python{The type checker for \LangAny{} is shown in figure~\ref{fig:type-check-Lany}.}
 The interpreter for \LangAny{} is shown in figure~\ref{fig:interp-Lany} and
 its auxiliary functions are shown in figure~\ref{fig:interp-Lany-aux}.