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 
             {