diff --git a/examples/dotnet/CMakeLists.txt b/examples/dotnet/CMakeLists.txt
index c89c90f2f..d145a2269 100644
--- a/examples/dotnet/CMakeLists.txt
+++ b/examples/dotnet/CMakeLists.txt
@@ -11,5 +11,6 @@ configure_file(${CMAKE_CURRENT_SOURCE_DIR}/Program.cs Program.cs       COPYONLY)
 
 ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/dotnet.csproj
     PLATFORM ${Z3_DOTNET_PLATFORM}
+    NETCOREAPP
     CUSTOM_BUILDPROPS "<Z3_VERSION>${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR}.${Z3_VERSION_PATCH}</Z3_VERSION>"
     DEPENDS Microsoft.Z3)