From 5446b141fb94fcbc5b05a0ef8ec362fd7485e91e Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 14 Feb 2019 06:47:54 +0000
Subject: [Manual] Fix a reference

---
 doc/sphinx/addendum/extended-pattern-matching.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/addendum/extended-pattern-matching.rst b/doc/sphinx/addendum/extended-pattern-matching.rst
index d77690458d..3ec6c118af 100644
--- a/doc/sphinx/addendum/extended-pattern-matching.rst
+++ b/doc/sphinx/addendum/extended-pattern-matching.rst
@@ -295,7 +295,7 @@ By default, implicit arguments are omitted in patterns. So we write:
         end).
 
 But the possibility to use all the arguments is given by “``@``” implicit
-explicitations (as for terms 2.7.11).
+explicitations (as for terms, see :ref:`explicit-applications`).
 
 .. coqtop:: all
 
-- 
cgit v1.2.3