Update RELEASE_NOTES.md

Co-authored-by: Fabio Madge <[email protected]>
dafny-lang · Mar 1, 2022 · a4e79f0 · a4e79f0
1 parent 27fb8a8
commit a4e79f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -4,7 +4,7 @@
 - feat: The keyword syntax for functions will change in Dafny version 4. The new command-line option `/functionSyntax` (see `/help`) allows early adoption of the new syntax. (https://github.com/dafny-lang/dafny/pull/1832)
 - fix: No warning "File contains no code" if a file only contains a submodule (https://github.com/dafny-lang/dafny/pull/1840)
 - fix: export-reveals of function-by-method now allows the function body to be ghost (https://github.com/dafny-lang/dafny/pull/1855)
-- fix: Dafnyruntime's c# language version explicitly set to 7.1 to stay backward compatible. (https://github.com/dafny-lang/dafny/pull/1877)
+- fix: Regain C# 7.1 compatibility of the compiled code. (https://github.com/dafny-lang/dafny/pull/1877)
 
 
 # 3.4.2