From e532b4c5856a5e22de6c88b66f39956c34fcd3fd Mon Sep 17 00:00:00 2001
From: Andrew Helwer <ahelwer@microsoft.com>
Date: Sat, 6 Oct 2018 18:59:34 -0700
Subject: [PATCH] Normalized formatting

---
 package/Microsoft.Z3.x64.targets | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/package/Microsoft.Z3.x64.targets b/package/Microsoft.Z3.x64.targets
index 772ed2ff7..a5b636f69 100644
--- a/package/Microsoft.Z3.x64.targets
+++ b/package/Microsoft.Z3.x64.targets
@@ -1,12 +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)libz3.dll">
-      <Visible>false</Visible>
-      <Link>libz3.dll</Link>
-      <CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
-    </None>
-  </ItemGroup>
-  
+    <ItemGroup>
+        <None Include="$(MSBuildThisFileDirectory)libz3.dll">
+            <Visible>false</Visible>
+            <Link>libz3.dll</Link>
+            <CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
+        </None>
+    </ItemGroup>
 </Project>