### changeset 301:72480b185ba0

Inserted a missing verb
author Sigurd Meldgaard Tue, 13 Apr 2010 13:14:07 +0200 76221d7c9418 c1650bcfed98 provsec/paper.tex 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Tue Apr 13 13:13:19 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 13:14:07 2010 +0200
@@ -572,7 +572,7 @@
\begin{enumerate}
\item If the statement is an assignment, we look up if we have assigned to that specific variable before during the current branch:
\begin{enumerate}
-  \item If the assignment not synthesized during a recursive
+  \item If the assignment was not synthesized during a recursive
invocation of the procedure we do not need it outside this branch,
and nothing needs to be changes, so we leave it in place.
\item Otherwise, if we have not assigned to this variable before; we