mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-16 13:58:45 +00:00
Code Activity

remove stray semicolon

Browse source
This commit is contained in:
jofleish 2022-08-23 10:18:21 -04:00
parent 2891c70065
commit d4ba667369
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_util.py
View file

@ -1718,9 +1718,9 @@ class DotNetDLLComponent(Component):
version = get_version_string(4)
print(f"Version output to csproj: {version}");
print(f'Version output to csproj: {version}')
core_csproj_str = f"""<Project Sdk="Microsoft.NET.Sdk">
core_csproj_str = f'""<Project Sdk="Microsoft.NET.Sdk">'
<PropertyGroup>
<TargetFramework>netstandard1.4</TargetFramework>