changeset 301:72480b185ba0

Inserted a missing verb
author Sigurd Meldgaard <>
date Tue, 13 Apr 2010 13:14:07 +0200
parents 76221d7c9418
children c1650bcfed98
files provsec/paper.tex
diffstat 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 @@
 \item If the statement is an assignment, we look up if we have assigned to that specific variable before during the current branch:
-  \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