changeset 13:dd475d927191

corrected comment
author Sigurd Meldgaard <stm@daimi.au.dk>
date Wed, 20 May 2009 13:58:33 +0200
parents ad18c37411d7
children e2702f8b3559
files secret_annotator.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/secret_annotator.py	Wed May 20 13:53:31 2009 +0200
+++ b/secret_annotator.py	Wed May 20 13:58:33 2009 +0200
@@ -56,7 +56,7 @@
 def secret_combine(node, ins):
     """
     If this is an assignment, check if the computed expression is
-    secret, if that is the case, the assigned value is secret as
+    secret, if that is the case, the assigned variable is secret as
     well. Otherwise it becomes non-secret.
 
     All other statements just pass their value through.