mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

na

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-12-21 16:18:07 -08:00
parent 3576b66e32
commit f26662d079
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_nuget_task.py
View file

@ -114,7 +114,7 @@ Linux Dependencies:
sym = "" sym = ""
if symbols: if symbols:
sym = "s" 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) f.write(contents)
def main(): def main():