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)