From eecd052730e30c0ebd1c83827c9aa6cab5632ea2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Nov 2025 21:08:43 -0800
Subject: [PATCH] port to BoolPtr

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/FPNum.java | 4 ++--
 src/api/java/Log.java   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/api/java/FPNum.java b/src/api/java/FPNum.java
index 813e82889..2995e97e4 100644
--- a/src/api/java/FPNum.java
+++ b/src/api/java/FPNum.java
@@ -27,10 +27,10 @@ public class FPNum extends FPExpr
      * @throws Z3Exception 
      */
     public boolean getSign() {
-        Native.IntPtr res = new Native.IntPtr();
+        Native.BoolPtr res = new Native.BoolPtr();
         if (!Native.fpaGetNumeralSign(getContext().nCtx(), getNativeObject(), res))
             throw new Z3Exception("Sign is not a Boolean value");
-        return res.value != 0;
+        return res.value;
     }
 
     /**
diff --git a/src/api/java/Log.java b/src/api/java/Log.java
index 7dc9a1ef1..f427c5175 100644
--- a/src/api/java/Log.java
+++ b/src/api/java/Log.java
@@ -36,7 +36,7 @@ public final class Log
     public static boolean open(String filename)
     {
         m_is_open = true;
-        return Native.openLog(filename) == 1;
+        return Native.openLog(filename);
     }
 
     /**