Skip to content

Commit

Permalink
Update DafnyRuntimeSystemModule.cs
Browse files Browse the repository at this point in the history
  • Loading branch information
@keyboardDrummer
keyboardDrummer committed Jan 8, 2025
1 parent a13764f commit b9a2c9b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Source/DafnyRuntime/DafnyRuntimeSystemModule.cs
View file
Original file line number Diff line number Diff line change
@@ -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

Expand Down

0 comments on commit b9a2c9b

Please sign in to comment.