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>