blob: 5c43ca90ae0ef437005d160ecfed2e29333fbac0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--- a/Source/DafnyRuntime/DafnyRuntime.csproj.orig
+++ b/Source/DafnyRuntime/DafnyRuntime.csproj
@@ -6,7 +6,7 @@
<GeneratePackageOnBuild>true</GeneratePackageOnBuild>
<GenerateAssemblyInfo>false</GenerateAssemblyInfo>
<DefineConstants>TRACE;ISDAFNYRUNTIMELIB</DefineConstants>
- <TargetFrameworks>netstandard2.0;net452</TargetFrameworks>
+ <TargetFrameworks>net6.0</TargetFrameworks>
<OutputPath>..\..\Binaries\</OutputPath>
<LangVersion>7.3</LangVersion>
<PackageLicenseExpression>MIT</PackageLicenseExpression>
--- a/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj.orig
+++ b/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj
@@ -2,7 +2,7 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
- <TargetFramework>netstandard2.0</TargetFramework>
+ <TargetFramework>net6.0</TargetFramework>
</PropertyGroup>
<ItemGroup>
|