add doc string

Z3Prover · Jun 28, 2022 · 7977876 · 7977876
1 parent 798a4ee
commit 7977876
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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 
             {