Update RELEASE_NOTES.md

dafny-lang · Oct 4, 2022 · ac07851 · ac07851
1 parent 7de14ac
commit ac07851
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -1,5 +1,7 @@
 # Upcoming
 
+- fix: Correct error highlighting on function called with default arguments (https://github.com/dafny-lang/dafny/pull/2826)
+
 # 3.9.0
 
 - feat: Support for testing certain contracts at runtime with a new `/testContracts` flag (https://github.com/dafny-lang/dafny/pull/2712)