check

book.tex

@@ -11467,8 +11467,7 @@ inner-product of two arrays (Figure~\ref{fig:inner-product}).
     (+ (inner-product A B 2)
        30)))
 \end{lstlisting}
-\caption{Example program that computes the inner-product
-  of two arrays.}
+\caption{Example program that computes the inner-product.}
 \label{fig:inner-product}
 \end{figure}
 
@@ -11853,8 +11852,7 @@ Figure~\ref{fig:consistent} defines the \code{consistent?} predicate.
           (consistent? rt1 rt2))]
     [(other wise) #f]))
 \end{lstlisting}
-\caption{The consistency predicate on types, a method in
-    \code{type-check-gradual-class}.}
+\caption{The consistency predicate on types.}
 \label{fig:consistent}
 \end{figure}
 
@@ -13720,7 +13718,7 @@ Figure~\ref{fig:Rany-concrete-syntax}.
 \end{minipage}
 }
 \caption{The concrete syntax of \LangAny{}, extending \LangLam{}
-  (Figure~\ref{fig:Rlam-syntax}) with \key{Any}.}
+  (Figure~\ref{fig:Rlam-syntax}).}
 \label{fig:Rany-concrete-syntax}
 \end{figure}