From 08adc1bf97bc825452c9311f9bdcf0c29453c79e Mon Sep 17 00:00:00 2001
From: Yatao Li <yatli@microsoft.com>
Date: Sun, 13 Jan 2019 23:15:40 +0800
Subject: [PATCH] ...

---
 examples/dotnet/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/dotnet/CMakeLists.txt b/examples/dotnet/CMakeLists.txt
index d0cd2bb15..57a1ba7ac 100644
--- a/examples/dotnet/CMakeLists.txt
+++ b/examples/dotnet/CMakeLists.txt
@@ -6,8 +6,8 @@ else()
     set(Z3_DOTNET_PLATFORM "Any CPU")
 endif()
 
-configure_file(dotnet.csproj dotnet.csproj COPYONLY)
-configure_file(program.cs program.cs       COPYONLY)
+configure_file(${CMAKE_CURRENT_SOURCE_DIR}/dotnet.csproj dotnet.csproj COPYONLY)
+configure_file(${CMAKE_CURRENT_SOURCE_DIR}/program.cs program.cs       COPYONLY)
 
 ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/dotnet.csproj
     PLATFORM ${Z3_DOTNET_PLATFORM}