From 232a88101bf6a5867f0e038746decefee86fd47b Mon Sep 17 00:00:00 2001
From: Yatao Li <yatli@microsoft.com>
Date: Mon, 10 Sep 2018 08:57:28 +0800
Subject: [PATCH] api: dotnet: ADD_DOTNET should be uppercased.

---
 src/api/dotnet/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/CMakeLists.txt b/src/api/dotnet/CMakeLists.txt
index 987ef3dff..2d9b32a2f 100644
--- a/src/api/dotnet/CMakeLists.txt
+++ b/src/api/dotnet/CMakeLists.txt
@@ -139,7 +139,7 @@ endforeach()
 # And thus we can put the conditional properties in the project file.
 
 configure_file(${CMAKE_CURRENT_SOURCE_DIR}/Microsoft.Z3.csproj.in ${CMAKE_CURRENT_BINARY_DIR}/build/Microsoft.Z3.csproj)
-add_dotnet(${CMAKE_CURRENT_BINARY_DIR}/build/Microsoft.Z3.csproj
+ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/build/Microsoft.Z3.csproj
     # note, nuget package file names do not have the ${VER_REV} part.
     VERSION "${VER_MAJOR}.${VER_MINOR}.${VER_BUILD}"
     PACKAGE Microsoft.Z3)