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