mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-03 11:25:40 +00:00
Code Activity

undo quote change in projectstr

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

3
scripts/mk_util.py
View file

@ -1720,8 +1720,7 @@ class DotNetDLLComponent(Component):
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> <PropertyGroup>
<TargetFramework>netstandard1.4</TargetFramework> <TargetFramework>netstandard1.4</TargetFramework>
<LangVersion>8.0</LangVersion> <LangVersion>8.0</LangVersion>