changeset 304:54d95f1f89dd

A comma
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 13 Apr 2010 13:40:00 +0200
parents e00232852871
children 8d2392884d50
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:26:41 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 13:40:00 2010 +0200
@@ -625,7 +625,7 @@
 When revealing a secret value in VIFF, we get back a deferred, but
 often we want to output the value, and write an if statement
 immediately after using the opened value to brach on. This cannot be
-done in plain VIFF because we do not know if the value to be opened is
+done in plain VIFF, because we do not know if the value to be opened is
 ready when we do the branching.  Therefore a common idiom when writing
 VIFF code is to put the code doing the branch in a callback-function,
 and attaching that to the deferred.  This way, the code will not be