From f0f9a16f85ecddc13f16d48247c3f2adf57a97f1 Mon Sep 17 00:00:00 2001 From: Yatao Li Date: Mon, 14 Jan 2019 00:22:51 +0800 Subject: [PATCH] cmake: dotnet: example: program -> Program --- examples/dotnet/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/dotnet/CMakeLists.txt b/examples/dotnet/CMakeLists.txt index 57a1ba7ac..c89c90f2f 100644 --- a/examples/dotnet/CMakeLists.txt +++ b/examples/dotnet/CMakeLists.txt @@ -7,7 +7,7 @@ else() endif() configure_file(${CMAKE_CURRENT_SOURCE_DIR}/dotnet.csproj dotnet.csproj COPYONLY) -configure_file(${CMAKE_CURRENT_SOURCE_DIR}/program.cs program.cs COPYONLY) +configure_file(${CMAKE_CURRENT_SOURCE_DIR}/Program.cs Program.cs COPYONLY) ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/dotnet.csproj PLATFORM ${Z3_DOTNET_PLATFORM}