diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index d7d4871aa6a..1e29da5c222 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -8,7 +8,7 @@ - fix: Prevent the language server from crashing and not responding on resolution or ghost diagnostics errors (https://github.com/dafny-lang/dafny/pull/2080) - fix: Correctly specify the type of the receiver parameter when translating tail-recursive member functions to C# (https://github.com/dafny-lang/dafny/pull/2205) - fix: Added support for type parameters in automatically generated tests (https://github.com/dafny-lang/dafny/pull/2227) -- fix: Methods produced by the test generation code can now be compiled directly to the C#'s XUnit tests (https://github.com/dafny-lang/dafny/pull/2269) +- fix: Methods produced by the test generation code can now be compiled directly to C# XUnit tests (https://github.com/dafny-lang/dafny/pull/2269) # 3.6.0