From e6dbcd44962fe5692cb6aa1bbd62d34db772a0fd Mon Sep 17 00:00:00 2001
From: Sasha Fedchin <sasha.fedchin@gmail.com>
Date: Mon, 21 Oct 2024 16:25:28 +0200
Subject: [PATCH] Update docs/dev/news

---
 docs/dev/news/5847.fix | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 docs/dev/news/5847.fix

diff --git a/docs/dev/news/5847.fix b/docs/dev/news/5847.fix
new file mode 100644
index 0000000000..4e31eba55d
--- /dev/null
+++ b/docs/dev/news/5847.fix
@@ -0,0 +1 @@
+Fixed a bug preventing counterexamples from being displayed in the IDE