changeset 179:00836287599e

Reformulate error message
author Sigurd Meldgaard <stm@daimi.au.dk>
date Wed, 16 Dec 2009 11:38:44 +0100
parents 99ac425d17d3
children 862f30985ed5
files pysmcl/secret_ifs.py
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/secret_ifs.py	Mon Dec 14 15:27:08 2009 +0100
+++ b/pysmcl/secret_ifs.py	Wed Dec 16 11:38:44 2009 +0100
@@ -74,7 +74,8 @@
 
     def visit_While(self, node):
         if(pysmcl.secret_annotator.expr_secret(node.test)):
-            error("While is not possible on a secret value", node)
+            error("It is not possible to have a while loop\
+ with a secret condition", node)
         return node
 
     def do_body(self, body, suffix):