Update docs/dev/news

dafny-lang · Oct 21, 2024 · e6dbcd4 · e6dbcd4
1 parent 9913da2
commit e6dbcd4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/dev/news/5847.fix b/docs/dev/news/5847.fix
@@ -0,0 +1 @@
+Fixed a bug preventing counterexamples from being displayed in the IDE