From 6cdbbf2896ee09b4787f168070d43b642270c880 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 10 Sep 2020 13:54:13 +0200
Subject: Update doc/changelog/06-ssreflect/12857-changelog-for-12857.rst

Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>---
 doc/changelog/06-ssreflect/12857-changelog-for-12857.rst | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'doc')

diff --git a/doc/changelog/06-ssreflect/12857-changelog-for-12857.rst b/doc/changelog/06-ssreflect/12857-changelog-for-12857.rst
index a436253e3b..4350fd0238 100644
--- a/doc/changelog/06-ssreflect/12857-changelog-for-12857.rst
+++ b/doc/changelog/06-ssreflect/12857-changelog-for-12857.rst
@@ -1,7 +1,8 @@
 - **Fixed:**
-  Regression in error reporting after tacn:`case`.
-  A generic error message "Could not fill dependent hole in apply"" was
-  reported for any error following tacn:`case` or tacn:`elim`
+  Regression in error reporting after :tacn:`case <case (ssreflect)>`.
+  A generic error message "Could not fill dependent hole in apply" was
+  reported for any error following :tacn:`case <case (ssreflect)>` or
+  :tacn:`elim <elim (ssreflect)>`
   (`#12857 <https://github.com/coq/coq/pull/12857>`_,
   fixes `#12837 <https://github.com/coq/coq/issues/12837>`_,
   by Enrico Tassi).
-- 
cgit v1.2.3