From 6c20e7d284280d7c3927aab6ea9b46b86998a00e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 13 Mar 2019 09:48:17 +0100
Subject: [refman] Fix other newly emitted warnings.

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

(limited to 'doc/sphinx/addendum')

diff --git a/doc/sphinx/addendum/extended-pattern-matching.rst b/doc/sphinx/addendum/extended-pattern-matching.rst
index 3ec6c118af..e882ce6e88 100644
--- a/doc/sphinx/addendum/extended-pattern-matching.rst
+++ b/doc/sphinx/addendum/extended-pattern-matching.rst
@@ -285,7 +285,7 @@ By default, implicit arguments are omitted in patterns. So we write:
 
 .. coqtop:: all
 
-   Arguments nil [A].
+   Arguments nil {A}.
    Arguments cons [A] _ _.
    Check
      (fun l:List nat =>
-- 
cgit v1.2.3