From 1bb76d284fc3e48c73fdec02f7b78d72bfa1ec89 Mon Sep 17 00:00:00 2001 From: Aleksandr Fedchin Date: Fri, 17 Jun 2022 15:31:28 -0700 Subject: [PATCH] Update RELEASE_NOTES.md Co-authored-by: Aaron Tomb --- RELEASE_NOTES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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