From 79778767b0ec6f252941310c246a64f7b480cd0d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Jun 2022 14:25:43 -0700
Subject: [PATCH] add doc string

---
 src/api/dotnet/Z3Object.cs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/api/dotnet/Z3Object.cs b/src/api/dotnet/Z3Object.cs
index d385d9d62e8..432885b66d0 100644
--- a/src/api/dotnet/Z3Object.cs
+++ b/src/api/dotnet/Z3Object.cs
@@ -113,7 +113,10 @@ internal static IntPtr GetNativeObject(Z3Object s)
             return s.NativeObject;
         }
 
-	public Context Context
+        /// <summary>
+        /// Access Context object 
+        /// </summary>
+	    public Context Context
         {
             get 
             {