From cfb3a0175646a8abcabad23a20641c285018e654 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 24 Feb 2026 09:58:12 -0800
Subject: [PATCH] Update Solver.cs

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

diff --git a/src/api/dotnet/Solver.cs b/src/api/dotnet/Solver.cs
index 8c33d0795..b06f9ed16 100644
--- a/src/api/dotnet/Solver.cs
+++ b/src/api/dotnet/Solver.cs
@@ -657,7 +657,7 @@ namespace Microsoft.Z3
         /// <returns>A string containing the DIMACS CNF representation.</returns>
         public string ToDimacs(bool includeNames = true)
         {
-            return Native.Z3_solver_to_dimacs_string(Context.nCtx, NativeObject, includeNames);
+            return Native.Z3_solver_to_dimacs_string(Context.nCtx, NativeObject, includeNames ? (byte)1 : (byte)0);
         }
 
         #region Internal