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 6993b316cf455a8c46872ac1036be6e347c0d0f6..d797aeca5a0959636fa9cd9ba43eff3ffd2fb9c8 100644 (file)
--- 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