From b9f3e03dd07e678ce900f332cf4653c5d222ee16 Mon Sep 17 00:00:00 2001
From: SimonBoulier
Date: Wed, 8 Jan 2020 11:00:05 +0100
Subject: Update
 doc/changelog/02-specification-language/11368-trailing_implicit_error.rst

Co-Authored-By: Théo Zimmermann <theo.zimmi@gmail.com>---
 .../02-specification-language/11368-trailing_implicit_error.rst         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/changelog/02-specification-language/11368-trailing_implicit_error.rst b/doc/changelog/02-specification-language/11368-trailing_implicit_error.rst
index 9a8d619f3b..a7ffde31fc 100644
--- a/doc/changelog/02-specification-language/11368-trailing_implicit_error.rst
+++ b/doc/changelog/02-specification-language/11368-trailing_implicit_error.rst
@@ -1,6 +1,6 @@
 - **Changed:**
   The warning raised when a trailing implicit is declared to be non maximally
-  inserted (with the command `Arguments`) has been turned into an error.
+  inserted (with the command cmd:`Arguments <Arguments (implicits)>`) has been turned into an error.
   This was deprecated since Coq 8.10.
   (`#11368 <https://github.com/coq/coq/pull/11368>`_,
   by SimonBoulier).
-- 
cgit v1.2.3