From 0acbdffacff2afe7b12c48744ff4849fc0d86798 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Oct 2019 15:34:05 -0700
Subject: [PATCH] update mk_nuget_task

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_nuget_task.py | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 9b2ce1bbc..d169c1687 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -86,17 +86,12 @@ Linux Dependencies:
         <iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/{1}/package/icon.jpg</iconUrl>
         <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
         <licenseUrl>https://raw.githubusercontent.com/Z3Prover/z3/{1}/LICENSE.txt</licenseUrl>
-        <repository
-            type="git"
-            url="https://github.com/Z3Prover/z3.git"
-            branch="master"
-            commit="{1}"
-        />
+        <repository type="git" url="https://github.com/Z3Prover/z3.git" branch="master" commit="{1}" />
         <requireLicenseAcceptance>true</requireLicenseAcceptance>
         <language>en</language>
     </metadata>
 </package>""".format(release_version, release_commit)
-
+    print(contents)
     with open("out/Microsoft.Z3.x64.nuspec", 'w') as f:
         f.write(contents)