diff options
| author | Théo Zimmermann | 2020-05-05 10:41:42 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-05 10:41:42 +0200 |
| commit | d4d0b9dbab2dfe22aea94d03777b426f04b05b0d (patch) | |
| tree | 893792a3ea88d0028e4d9a46f9b26be93e6c63d9 /doc/sphinx/using/libraries | |
| parent | 109cab944287e57c0fd8395c0bff8c2409e9f5c9 (diff) | |
[refman] Add missing (only parsing) to example of compat notations.
Diffstat (limited to 'doc/sphinx/using/libraries')
| -rw-r--r-- | doc/sphinx/using/libraries/writing.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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: |