diff --git a/thesis.tex b/thesis.tex index ba42542..76ae5d5 100644 --- a/thesis.tex +++ b/thesis.tex @@ -17833,7 +17833,7 @@ follows. \end{reductions} % Their capture rules are identical. Both operators abort the current -continuation upon capture. This is what set $\FelleisenF$ apart from +continuation upon capture. This is what sets $\FelleisenF$ apart from the other composable control operator $\Callcomc$. % The resume rules of $\FelleisenC$ and $\FelleisenF$ show the