Skip to content

Commit

Permalink
Fix typos in subtype figure caption
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Aug 24, 2020
1 parent 1cf11ab commit 42b6006
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/interface.tex
Expand Up @@ -121,7 +121,7 @@ \section{The Concepts of Type, Interface and Subtype}\label{the-concepts-of-type
\begin{center}
\includegraphics{subtype}
\end{center}
\caption{The type \lstinline!R! can be defined as the set o record values containing \lstinline!x! and \lstinline!b!. The subtype \lstinline!R2! is the subset of value that all contain
\caption{The type \lstinline!R! can be defined as the set of record values containing \lstinline!x! and \lstinline!b!. The subtype \lstinline!R2! is the subset of values that all contain
\lstinline!x!, \lstinline!b!, and \lstinline!y!.}
\end{figure}
\end{example}
Expand Down

0 comments on commit 42b6006

Please sign in to comment.