diff options
| author | Clément Pit-Claudel | 2020-05-05 07:57:06 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-05-05 07:57:06 -0400 |
| commit | f4532cf12ce96a6e60115641356582ff44ea525f (patch) | |
| tree | 893792a3ea88d0028e4d9a46f9b26be93e6c63d9 | |
| parent | 109cab944287e57c0fd8395c0bff8c2409e9f5c9 (diff) | |
| parent | d4d0b9dbab2dfe22aea94d03777b426f04b05b0d (diff) | |
Merge PR #12252: [refman] Add missing (only parsing) to example of compat notations.
| -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: |