Restore actual change (must have been lost in bad merge)

dafny-lang · Nov 14, 2022 · 8aa98ef · 8aa98ef
1 parent c3f8fb3
commit 8aa98ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyRuntime/DafnyRuntime.csproj b/Source/DafnyRuntime/DafnyRuntime.csproj
@@ -6,7 +6,7 @@
       <GeneratePackageOnBuild>true</GeneratePackageOnBuild>
       <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
       <DefineConstants>TRACE;ISDAFNYRUNTIMELIB</DefineConstants>
-      <TargetFramework>net6.0</TargetFramework>
+      <TargetFramework>netstandard2.0</TargetFramework>
       <OutputPath>..\..\Binaries\</OutputPath>
       <LangVersion>7.3</LangVersion>
       <PackageLicenseExpression>MIT</PackageLicenseExpression>