From 10a1cf48bfa318dad4ec09a49bfa2d4be6010962 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 11 Oct 2025 22:53:06 +0000
Subject: [PATCH] Fix .NET build error - rename params to parameters

The 'params' keyword is reserved in C#, causing compilation errors.
Renamed parameter from 'params' to 'parameters' in MkDatatypeSortRef methods.

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/dotnet/Context.cs | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index a3cb41642..49f183428 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -479,16 +479,16 @@ namespace Microsoft.Z3
         /// This is useful for creating recursive datatypes or parametric datatypes.
         /// </summary>
         /// <param name="name">name of the datatype sort</param>
-        /// <param name="params">optional array of sort parameters for parametric datatypes</param>
-        public DatatypeSort MkDatatypeSortRef(Symbol name, Sort[] params = null)
+        /// <param name="parameters">optional array of sort parameters for parametric datatypes</param>
+        public DatatypeSort MkDatatypeSortRef(Symbol name, Sort[] parameters = null)
         {
             Debug.Assert(name != null);
             CheckContextMatch(name);
-            if (params != null)
-                CheckContextMatch<Sort>(params);
+            if (parameters != null)
+                CheckContextMatch<Sort>(parameters);
             
-            var numParams = (params == null) ? 0 : (uint)params.Length;
-            var paramsNative = (params == null) ? null : AST.ArrayToNative(params);
+            var numParams = (parameters == null) ? 0 : (uint)parameters.Length;
+            var paramsNative = (parameters == null) ? null : AST.ArrayToNative(parameters);
             return new DatatypeSort(this, Native.Z3_mk_datatype_sort(nCtx, name.NativeObject, numParams, paramsNative));
         }
 
@@ -497,11 +497,11 @@ namespace Microsoft.Z3
         /// This is useful for creating recursive datatypes or parametric datatypes.
         /// </summary>
         /// <param name="name">name of the datatype sort</param>
-        /// <param name="params">optional array of sort parameters for parametric datatypes</param>
-        public DatatypeSort MkDatatypeSortRef(string name, Sort[] params = null)
+        /// <param name="parameters">optional array of sort parameters for parametric datatypes</param>
+        public DatatypeSort MkDatatypeSortRef(string name, Sort[] parameters = null)
         {
             using var symbol = MkSymbol(name);
-            return MkDatatypeSortRef(symbol, params);
+            return MkDatatypeSortRef(symbol, parameters);
         }
 
         /// <summary>