typo

AmpersandTarski · Dec 7, 2023 · 3a2d704 · 3a2d704
1 parent 3b152dc
commit 3a2d704
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/2022Migration/articleMigrationFoIKS.tex b/2022Migration/articleMigrationFoIKS.tex
@@ -765,7 +765,7 @@ \section{Proof of Concept}
 
    Exhibit C shows that the user fills in ``Jill'', which means that $\pair{a_1}{Jill}$ is added to {\small\verb#new_r#}.
 
-   Exhibit D: When the last atom of {tt A} is paired with an atom from {\tt B}, requirement~\ref{eqn:readyForMoC} is satisfied and the prototype informs the user to remove the migration system.
+   Exhibit D: When the last atom of {\tt A} is paired with an atom from {\tt B}, requirement~\ref{eqn:readyForMoC} is satisfied and the prototype informs the user to remove the migration system.
 
 \subsection{Validation}
    The proof of concept gives but one example of something that works.