Add release note

dafny-lang · Nov 1, 2024 · f0beeeb · f0beeeb
1 parent bd7c97b
commit f0beeeb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/dev/news/5882.fix b/docs/dev/news/5882.fix
@@ -0,0 +1 @@
+Enable using reveal statement expression inside witness expressions