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 @@ - - - - false - libz3.dll - PreserveNewest - - - + + + false + libz3.dll + PreserveNewest + +