changeset 305:8d2392884d50

Formulation
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 13 Apr 2010 13:41:06 +0200
parents 54d95f1f89dd
children 76417e62d6f4
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:40:00 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 13:41:06 2010 +0200
@@ -635,7 +635,7 @@
 to a programmer with no experience with deferred values.
 
 Therefore, in PySMCL, we rewrite the program, so a call to
-\verb|output| will release the control until the value is ready. This
+\verb|output| will block until the value is ready. This
 way, the program can be written and will compute as a straight line
 program.