From 1d8c50ebd6c7ca0d12153ba89bbd8043d29de58a Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Wed, 14 Jan 2026 18:54:16 +0000
Subject: [PATCH] fix build

---
 src/api/dotnet/RCFNum.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/RCFNum.cs b/src/api/dotnet/RCFNum.cs
index e1348039c..dde4761a0 100644
--- a/src/api/dotnet/RCFNum.cs
+++ b/src/api/dotnet/RCFNum.cs
@@ -399,7 +399,7 @@ namespace Microsoft.Z3
         /// <returns>String representation</returns>
         public string ToString(bool compact)
         {
-            return Native.Z3_rcf_num_to_string(Context.nCtx, NativeObject, compact ? 1 : 0, false);
+            return Native.Z3_rcf_num_to_string(Context.nCtx, NativeObject, compact ? (byte)1 : (byte)0, 0);
         }
 
         /// <summary>