From 248a3676affd9fefe886f1888decd49d508dd309 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 3 Mar 2022 11:40:29 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/dotnet/NativeModel.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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>