From 0a477a0a93bd6bf5ebac8be9998fbe53ad6ff431 Mon Sep 17 00:00:00 2001
From: Andrew Helwer <ahelwer@users.noreply.github.com>
Date: Thu, 14 Mar 2019 15:46:03 -0700
Subject: [PATCH] Remove dependency on TargetPlatform macro
Unnecessary, since dropping support for x86
---
src/api/dotnet/Microsoft.Z3.targets.in | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/api/dotnet/Microsoft.Z3.targets.in b/src/api/dotnet/Microsoft.Z3.targets.in
index a5ff7b8aa..bf2ca2dc7 100644
--- a/src/api/dotnet/Microsoft.Z3.targets.in
+++ b/src/api/dotnet/Microsoft.Z3.targets.in
@@ -1,10 +1,10 @@
<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<ItemGroup>
- <None Include="$(MSBuildThisFileDirectory)..\runtimes\win-$(PlatformTarget)\native\libz3.dll">
+ <None Include="$(MSBuildThisFileDirectory)..\runtimes\win-x64\native\libz3.dll">
<Visible>false</Visible>
<Link>libz3.dll</Link>
<CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
</None>
</ItemGroup>
-</Project>
\ No newline at end of file
+</Project>