mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

[Doxygen] Fix link to ".NET" documentation it should point to the

Browse source 
"Microsoft.Z3" namespace, not the "Microsoft.Z3.Context" class.

This mirrors the link provided for the Java API.
This commit is contained in:
Dan Liew 2017-04-25 15:43:03 +01:00
parent 121fd06cc2
commit a6a6a9c29f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/mk_api_doc.py
View file

@ -234,7 +234,7 @@ try:
if DOTNET_ENABLED: if DOTNET_ENABLED:
website_dox_substitutions['DOTNET_API'] = ( website_dox_substitutions['DOTNET_API'] = (
'{prefix}' '{prefix}'
'<a class="el" href="class_microsoft_1_1_z3_1_1_context.html">' '<a class="el" href="namespace_microsoft_1_1_z3.html">'
'.NET API</a>').format( '.NET API</a>').format(
prefix=bullet_point_prefix) prefix=bullet_point_prefix)
else: else: