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

remove spurious string

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-14 19:40:56 -08:00
parent c6c4dc4563
commit 6a9c8a8999
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_util.py
View file

@ -2436,7 +2436,7 @@ class DotNetExampleComponent(ExampleComponent):
else: else:
platform = 'x86' platform = 'x86'
dotnet_proj_str = """xemacs<Project Sdk="Microsoft.NET.Sdk"> dotnet_proj_str = """<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup> <PropertyGroup>
<OutputType>Exe</OutputType> <OutputType>Exe</OutputType>
<TargetFramework>netcoreapp2.0</TargetFramework> <TargetFramework>netcoreapp2.0</TargetFramework>