changeset 292:e1a9ebd21a09

Fixed casing-typo
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 12 Apr 2010 15:19:01 +0200
parents 683a6679cd55
children e426b4d5049b
files provsec/paper.tex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Mon Apr 12 15:18:46 2010 +0200
+++ b/provsec/paper.tex	Mon Apr 12 15:19:01 2010 +0200
@@ -647,7 +647,7 @@
 its internal memory and output results. All of this when asked to do
 it by honest players.
 
-Running a pySMCL program $P$ corresponds to executing the protocol
+Running a PySMCL program $P$ corresponds to executing the protocol
 $\pi_P$ in a hybrid model where $F$ is available.
 
 $\pi_P$ works as follows: The players follow the instructions of