changeset 148:c1d958858721

secret annotator bug-fix. The default value was specified wrongly
author Sigurd Meldgaard <stm@daimi.au.dk>
date Thu, 03 Dec 2009 14:47:43 +0100
parents 0f7009afd716
children 2b8260064100
files pysmcl/secret_annotator.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/secret_annotator.py	Thu Dec 03 14:46:24 2009 +0100
+++ b/pysmcl/secret_annotator.py	Thu Dec 03 14:47:43 2009 +0100
@@ -89,4 +89,4 @@
     arguments = set(i.id for i in function.args.args)
     function.body[0].imported_secrets = arguments
     pysmcl.flow.analyze(function, secret_join,
-                        secret_combine, "secret", lambda: set())
+                        secret_combine, "secret", set())