From 9a04ab11a7081cd86ec5bb8960e5f0ed56560c5f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 28 Oct 2012 22:58:54 -0700 Subject: [PATCH] fixed python compatibility issues Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 2 +- scripts/update_api.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index aabf4994e..275e4212d 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1114,7 +1114,7 @@ def mk_z3consts_donet(api_files): dotnet = get_component(DOTNET_COMPONENT) - DeprecatedEnums = { 'Z3_search_failure' } + DeprecatedEnums = [ 'Z3_search_failure' ] z3consts = open('%s/Enumerations.cs' % dotnet.src_dir, 'w') z3consts.write('// Automatically generated file\n\n') z3consts.write('using System;\n\n' diff --git a/scripts/update_api.py b/scripts/update_api.py index ce0d44b4e..a9c169e58 100644 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -335,7 +335,7 @@ def mk_dotnet(): dotnet.write(' }\n') -DotnetUnwrapped = { 'Z3_del_context' } +DotnetUnwrapped = [ 'Z3_del_context' ] def mk_dotnet_wrappers(): global Type2Str