From f26662d079f51989f7578115315b9e2f3b7f108d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Dec 2020 16:18:07 -0800
Subject: [PATCH] na

---
 scripts/mk_nuget_task.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 2ed3b7673..220957386 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -114,7 +114,7 @@ Linux Dependencies:
     sym = ""
     if symbols:
         sym = "s"
-    with open("out/Microsoft.Z3.x64.{sym}.nuspec", 'w') as f:
+    with open(f"out/Microsoft.Z3.x64.{sym}.nuspec", 'w') as f:
         f.write(contents)
         
 def main():