From 8abb644378ebaf1a9699e1b2fdd32075bcfcea4e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 12 Jan 2021 00:22:50 -0800
Subject: [PATCH] add xml file to the mix #4578

---
 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 d44740f4997..aa188136f6e 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -72,7 +72,7 @@ def unpack(packages, symbols):
                     replace(f"{tmp}/{package_dir}/bin/libz3.pdb", f"out/runtimes/{dst}/native/libz3.pdb") 
                 files = ["Microsoft.Z3.dll"]                
                 if symbols:
-                    files += ["Microsoft.Z3.pdb"]
+                    files += ["Microsoft.Z3.pdb", "Microsoft.Z3.xml"]
                 for b in files:
                     zip_ref.extract(f"{package_dir}/bin/{b}", f"{tmp}")
                     replace(f"{tmp}/{package_dir}/bin/{b}", f"out/lib/netstandard1.4/{b}")