Commits

Leonardo de Moura committed 9a04ab1

fixed python compatibility issues

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

  • Participants
  • Parent commits d909852

Comments (0)

Files changed (2)

File scripts/mk_util.py

 
     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'

File scripts/update_api.py

     dotnet.write('        }\n')
 
 
-DotnetUnwrapped = { 'Z3_del_context' }
+DotnetUnwrapped = [ 'Z3_del_context' ]
 
 def mk_dotnet_wrappers():
     global Type2Str