diff options
author | Berker Peksag <berker.peksag@gmail.com> | 2016-07-30 00:47:52 (GMT) |
---|---|---|
committer | Berker Peksag <berker.peksag@gmail.com> | 2016-07-30 00:47:52 (GMT) |
commit | fa95068081b2e404c3ba1dea923da078895ee53a (patch) | |
tree | 40d9a19dfe87ff6144be3037eff8243c4f3a5d4b /Doc | |
parent | c301cbf445a890c66eec0ef0d53aad9b7d690ad5 (diff) | |
download | cpython-fa95068081b2e404c3ba1dea923da078895ee53a.zip cpython-fa95068081b2e404c3ba1dea923da078895ee53a.tar.gz cpython-fa95068081b2e404c3ba1dea923da078895ee53a.tar.bz2 |
Silence another "default role used" warning in typing.rst
This should make ware-docs green again.
Diffstat (limited to 'Doc')
-rw-r--r-- | Doc/library/typing.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/library/typing.rst b/Doc/library/typing.rst index 6993b31..d797aec 100644 --- a/Doc/library/typing.rst +++ b/Doc/library/typing.rst @@ -86,7 +86,7 @@ but the result will always be of type ``int``. This lets you pass in a ``UserId`` wherever an ``int`` might be expected, but will prevent you from accidentally creating a ``UserId`` in an invalid way:: - # `output` is of type `int`, not `UserId` + # 'output' is of type 'int', not 'UserId' output = UserId(23413) + UserId(54341) Note that these checks are enforced only by the static type checker. At runtime |