From 5dec919217354afe7b09edafecce618a0c9e2e42 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Thu, 6 Oct 2016 16:36:19 +0100 Subject: [PATCH] Remove unnecessary "unsafe" qualifier on internal .NET API class. --- scripts/update_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index 4ca11938c..04378b371 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -363,7 +363,7 @@ def mk_dotnet(dotnet): dotnet.write(' {\n\n') dotnet.write(' [UnmanagedFunctionPointer(CallingConvention.Cdecl)]\n') dotnet.write(' public delegate void Z3_error_handler(Z3_context c, Z3_error_code e);\n\n') - dotnet.write(' public unsafe class LIB\n') + dotnet.write(' public class LIB\n') dotnet.write(' {\n') dotnet.write(' const string Z3_DLL_NAME = \"libz3.dll\";\n' ' \n')