changeset 298:8b4194dc016d

Moved a comma, changes
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 13 Apr 2010 12:57:12 +0200
parents d3175810162e
children 89df41476acf
files provsec/paper.tex
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Tue Apr 13 12:56:07 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 12:57:12 2010 +0200
@@ -393,8 +393,8 @@
 \end{itemize}
 
 The feedback from the verifier to the programmer is used to alert the
-user, if secret information is passed on to a non-verified function,
-is used for control flow, or for array indexing. Alerts may also occur at
+user that secret information is passed on to a non-verified function,
+is used for control flow or for array indexing. Alerts may also occur at
 places where information is revealed, since this is where security
 problems could occur. When information is revealed, there are two
 possibilities: