mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 04:13:38 +00:00
Code Activity

add doc string

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-06-28 14:25:43 -07:00
parent 798a4ee86e
commit 79778767b0
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/api/dotnet/Z3Object.cs
View file

@ -113,7 +113,10 @@ namespace Microsoft.Z3
return s.NativeObject; return s.NativeObject;
} }
public Context Context /// <summary>
/// Access Context object
/// </summary>
public Context Context
{ {
get get
{ {