Fix line 2 numbers

Author: kai-e

pubs/dRE1998/errata.pdf

@@ -26,7 +26,7 @@
 \item[105:-14] spelling ``di\textbf{s}cussion''
 \item[118:+10]  ``Hence, there is no such $\sigma^{(i)}$'' could be a bit terse. It might help to insert ``The existence of such a $\sigma^{(i)}$ contradicted the requirement stated above, namely, that $(\sigma^{(i)},\sigma^{(i+2)})$ should not be contained in $\Psem{\phi\leadsto\psi}\A$.'' before.
 \item[120:+8] insert ``the remaining parts of'' after ``5.5\quad Prove''.
-\item[121:+4] should be
+\item[123:+4] should be
   \begin{gather*}
     \Htri{x<17}{x+3=x_0 \leadsto x<x_0}{%
       \Exi{y_0}{%
@@ -35,7 +35,9 @@
   \end{gather*}
   that is, there's no role for vectors in this example because there's
   only one variable of each kind to begin with.
-\item[121:+6] ``$x<20$'' should be ``$x<19$'' since we're going through two $<$.
+\item[123:+6] ``$x<20$'' should be ``$x<19$'' since we're going through two $<$.
+
+
 \item[136:+11] the postcondition of the specification statement should be ``$(b,x = b_0 \bagplus x_0,x_0)$''.
 \item[151:-8] ``$\bot_a$'' should be ``$\bot_A$''.
 \item[153:+1] ``on proves'' should be ``one proves''.