From: Berker Peksag <berker.peksag@gmail.com>
Date: Sat, 30 Jul 2016 00:47:52 +0000 (+0300)
Subject: Silence another "default role used" warning in typing.rst
X-Git-Tag: v3.6.0a4~93^2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=fa95068081b2e404c3ba1dea923da078895ee53a;p=thirdparty%2FPython%2Fcpython.git

Silence another "default role used" warning in typing.rst

This should make ware-docs green again.
---

diff --git a/Doc/library/typing.rst b/Doc/library/typing.rst
index 6993b316cf45..d797aeca5a09 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