From d4d0b9dbab2dfe22aea94d03777b426f04b05b0d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 5 May 2020 10:41:42 +0200
Subject: [refman] Add missing (only parsing) to example of compat notations.

---
 doc/sphinx/using/libraries/writing.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/using')

diff --git a/doc/sphinx/using/libraries/writing.rst b/doc/sphinx/using/libraries/writing.rst
index 801d492acb..325ea2af60 100644
--- a/doc/sphinx/using/libraries/writing.rst
+++ b/doc/sphinx/using/libraries/writing.rst
@@ -62,7 +62,7 @@ deprecated compatibility alias using :cmd:`Notation (abbreviation)`
 
       Definition bar x := S x.
       #[deprecated(since="1.2", note="Use bar instead.")]
-      Notation foo := bar.
+      Notation foo := bar (only parsing).
 
    Then, the following code still works, but emits a warning:
 
-- 
cgit v1.2.3