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