mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

more dotnet core

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-13 19:58:42 -08:00
parent dbd5ef4526
commit 37ec933c66
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -3176,7 +3176,7 @@ def mk_bindings(api_files):
if is_ml_enabled(): if is_ml_enabled():
check_ml() check_ml()
mk_z3consts_ml(api_files) mk_z3consts_ml(api_files)
if is_dotnet_enabled() if is_dotnet_enabled():
check_dotnet() check_dotnet()
mk_z3consts_dotnet(api_files) mk_z3consts_dotnet(api_files)
if is_dotnetcore_enabled(): if is_dotnetcore_enabled():