diff --git a/src/api/dotnet/NativeModel.cs b/src/api/dotnet/NativeModel.cs
index 6a8ff21cf..ffd4e0faf 100644
--- a/src/api/dotnet/NativeModel.cs
+++ b/src/api/dotnet/NativeModel.cs
@@ -254,9 +254,9 @@ namespace Microsoft.Z3
             /// </summary>
             public Z3_ast Else;
 
-            public Z3_sort[] Domain;
+            public Z3_ast[] Domain;
 
-            public Z3_sort[] Range;
+            public Z3_ast[] Range;
         }
 
         /// <summary>