From 87e6f103c6883ea37da0198dc0a43e0b5db870d8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 3 Mar 2022 14:00:07 -0800
Subject: [PATCH] commenting

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

diff --git a/src/api/dotnet/NativeModel.cs b/src/api/dotnet/NativeModel.cs
index fc4205774..cfe5c691b 100644
--- a/src/api/dotnet/NativeModel.cs
+++ b/src/api/dotnet/NativeModel.cs
@@ -250,8 +250,14 @@ namespace Microsoft.Z3
             /// </summary>
             public Z3_ast Else;
 
+            /// <summary>
+            /// Updates.Keys
+            /// </summary>
             public Z3_ast[] Domain;
 
+            /// <summary>
+            /// Updates.Range
+            /// </summary>
             public Z3_ast[] Range;
         }