From fa95068081b2e404c3ba1dea923da078895ee53a Mon Sep 17 00:00:00 2001 From: Berker Peksag Date: Sat, 30 Jul 2016 03:47:52 +0300 Subject: [PATCH] Silence another "default role used" warning in typing.rst This should make ware-docs green again. --- Doc/library/typing.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/library/typing.rst b/Doc/library/typing.rst index 6993b316cf4..d797aeca5a0 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