From ccf6ca310ed26137cbbd2fb133c7016601de6fdb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 13 Nov 2018 19:59:46 -0800 Subject: [PATCH] more dotnet core Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 674e75f3c..88d7d7246 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -3179,7 +3179,7 @@ def mk_bindings(api_files): if is_dotnet_enabled(): check_dotnet() mk_z3consts_dotnet(api_files) - if is_dotnetcore_enabled(): + if is_dotnet_core_enabled(): check_dotnet_core() mk_z3consts_dotnet(api_files)