From c571af2f95cccfbffe4e0b93525066676e7f652d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 27 Sep 2020 12:31:14 +0200
Subject: Reduce nitpick_ignore list a little.

---
 doc/sphinx/language/extensions/implicit-arguments.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/language/extensions')

diff --git a/doc/sphinx/language/extensions/implicit-arguments.rst b/doc/sphinx/language/extensions/implicit-arguments.rst
index ca69072cb9..f8375e93ce 100644
--- a/doc/sphinx/language/extensions/implicit-arguments.rst
+++ b/doc/sphinx/language/extensions/implicit-arguments.rst
@@ -217,7 +217,7 @@ usual implicit arguments disambiguation syntax.
 
 The syntax is also supported in internal binders. For instance, in the
 following kinds of expressions, the type of each declaration present
-in :token:`binders` can be bracketed to mark the declaration as
+in :n:`{* @binder }` can be bracketed to mark the declaration as
 implicit:
 * :n:`fun (@ident:forall {* @binder }, @type) => @term`,
 * :n:`forall (@ident:forall {* @binder }, @type), @type`,
-- 
cgit v1.2.3