From 14390eeac25e0c5116ee4e4447c22ae16ef3ecb0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 2 Mar 2025 18:44:04 -0800
Subject: [PATCH] fix typo
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
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 7ccadd590..c271a322c 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -78,7 +78,7 @@ def unpack(packages, symbols, arch):
files = ["Microsoft.Z3.dll", "Microsoft.Z3.pdb", "Microsoft.Z3.xml"]
for b in files:
dir = os.path.join(tmp, package_dir, "bin")
- file1 = os.path_join(dir, b)
+ file1 = os.path.join(dir, b)
file2 = os.path.join(dir, "netstandard2.0", b)
if os.path.exists(file1):
zip_ref.extract(file1, f"{tmp}")