changeset 176:f00f9b9dd69d

secret_annotator: changed name of default functions.
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 14 Dec 2009 15:24:53 +0100
parents c03795ca9975
children 4ed3600a9448
files pysmcl/secret_annotator.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/secret_annotator.py	Mon Dec 14 15:23:52 2009 +0100
+++ b/pysmcl/secret_annotator.py	Mon Dec 14 15:24:53 2009 +0100
@@ -1,7 +1,7 @@
 import pysmcl.ast_wrapper as ast
 import pysmcl.flow
 
-non_compromising_functions = set(["len", "open", "result",
+non_compromising_functions = set(["len", "output", "result",
                                   "invariant", "precondition"])
 
 secret_functions = set(["get"])