From 8346bb66799d679dc2db40a6c283e1b755bfe4b7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Nov 2025 20:48:57 -0800
Subject: [PATCH] open_log returns bool

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/ml/z3.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml
index cc7294aba..86ed05d98 100644
--- a/src/api/ml/z3.ml
+++ b/src/api/ml/z3.ml
@@ -15,7 +15,7 @@ type context = Z3native.context
 module Log =
 struct
   let open_ filename =
-    lbool_of_int (Z3native.open_log filename) = L_TRUE
+    (Z3native.open_log filename)
   let close = Z3native.close_log
   let append = Z3native.append_log
 end