From b9a2c9bfee3aa53105f9562d778543988ec9d18f Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Wed, 8 Jan 2025 10:54:49 +0100 Subject: [PATCH] Update DafnyRuntimeSystemModule.cs --- Source/DafnyRuntime/DafnyRuntimeSystemModule.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Source/DafnyRuntime/DafnyRuntimeSystemModule.cs b/Source/DafnyRuntime/DafnyRuntimeSystemModule.cs index de2ff0baf4..d0e8ea5dea 100644 --- a/Source/DafnyRuntime/DafnyRuntimeSystemModule.cs +++ b/Source/DafnyRuntime/DafnyRuntimeSystemModule.cs @@ -1,7 +1,7 @@ // Dafny program systemModulePopulator.dfy compiled into C# // To recompile, you will need the libraries // System.Runtime.Numerics.dll System.Collections.Immutable.dll -// but the 'dotnet' tool in net8.0 should pick those up automatically. +// but the 'dotnet' tool in .NET should pick those up automatically. // Optionally, you may want to include compiler switches like // /debug /nowarn:162,164,168,183,219,436,1717,1718