--- a/Source/DafnyRuntime/DafnyRuntime.csproj.orig
+++ b/Source/DafnyRuntime/DafnyRuntime.csproj
@@ -6,7 +6,7 @@
true
false
TRACE;ISDAFNYRUNTIMELIB
- netstandard2.0;net452
+ net6.0
..\..\Binaries\
7.3
MIT
--- a/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj.orig
+++ b/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj
@@ -2,7 +2,7 @@
- netstandard2.0
+ net6.0