From 55fc9cb9e1bd68964b66ec3408d57406b391c42e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 26 Nov 2025 09:29:59 -0800 Subject: [PATCH] fix dotnet build errors Signed-off-by: Nikolaj Bjorner --- src/api/dotnet/FPNum.cs | 6 +++--- src/api/dotnet/Log.cs | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/api/dotnet/FPNum.cs b/src/api/dotnet/FPNum.cs index 272286851..f7074ea44 100644 --- a/src/api/dotnet/FPNum.cs +++ b/src/api/dotnet/FPNum.cs @@ -50,10 +50,10 @@ namespace Microsoft.Z3 { get { - bool res = false; - if (!Native.Z3_fpa_get_numeral_sign(Context.nCtx, NativeObject, ref res)) + byte res = 0; + if (0 == Native.Z3_fpa_get_numeral_sign(Context.nCtx, NativeObject, ref res)) throw new Z3Exception("Sign is not a Boolean value"); - return res; + return res != 0; } } diff --git a/src/api/dotnet/Log.cs b/src/api/dotnet/Log.cs index f2ad89192..d63c53c8c 100644 --- a/src/api/dotnet/Log.cs +++ b/src/api/dotnet/Log.cs @@ -41,7 +41,7 @@ namespace Microsoft.Z3 public static bool Open(string filename) { m_is_open = true; - return Native.Z3_open_log(filename); + return 0 != Native.Z3_open_log(filename); } ///