spelling: referred

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref
2022-11-01 21:46:35 -04:00
committed by Andrzej Krzemienski
parent cdc2bd8482
commit 630cf7f7b5
4 changed files with 4 additions and 4 deletions

View File

@ -2380,7 +2380,7 @@
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
<span class="bold"><strong>Postconditions:</strong></span> <code class="computeroutput"><span class="identifier">x</span></code>
refers to what <code class="computeroutput"><span class="identifier">y</span></code> refererred
refers to what <code class="computeroutput"><span class="identifier">y</span></code> referred
to before the swap (if anything). <code class="computeroutput"><span class="identifier">y</span></code>
refers to whatever <code class="computeroutput"><span class="identifier">x</span></code>
referred to before the swap.

View File

@ -404,7 +404,7 @@
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
<span class="bold"><strong>Postconditions:</strong></span> <code class="computeroutput"><span class="identifier">x</span></code>
refers to what <code class="computeroutput"><span class="identifier">y</span></code> refererred
refers to what <code class="computeroutput"><span class="identifier">y</span></code> referred
to before the swap (if anything). <code class="computeroutput"><span class="identifier">y</span></code>
refers to whatever <code class="computeroutput"><span class="identifier">x</span></code>
referred to before the swap.

View File

@ -479,7 +479,7 @@
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
<span class="bold"><strong>Postconditions:</strong></span> <code class="computeroutput"><span class="identifier">x</span></code>
refers to what <code class="computeroutput"><span class="identifier">y</span></code> refererred
refers to what <code class="computeroutput"><span class="identifier">y</span></code> referred
to before the swap (if anything). <code class="computeroutput"><span class="identifier">y</span></code>
refers to whatever <code class="computeroutput"><span class="identifier">x</span></code>
referred to before the swap.