changeset 322:2951668602d3

provsec: correction
author Sigurd Meldgaard <stm@daimi.au.dk>
date Fri, 14 May 2010 17:14:12 +0200
parents aee28074a101
children d6ad5a70a4c0
files provsec/paper.tex
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Mon May 03 11:22:38 2010 +0200
+++ b/provsec/paper.tex	Fri May 14 17:14:12 2010 +0200
@@ -681,9 +681,9 @@
 values.
 
 Any if-statement with a secret condition will be rewritten, and
-looping is not allowed with a secret, so the programs will never
-branch on secret values and the players will never have to disagree,
-or be uncertain on what to do next.
+looping is not allowed with a secret condition, so the programs will
+never branch on secret values and the players will never have to
+disagree, or be uncertain on what to do next.
 
 Now we define a functionality $F_P$, working just as $F$, but it has a
 new command $P$ that, when called, makes the functionality run the