diff options
Diffstat (limited to 'sphinx/extension.py')
| -rw-r--r-- | sphinx/extension.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/extension.py b/sphinx/extension.py index fa7a0d490..98efc48fe 100644 --- a/sphinx/extension.py +++ b/sphinx/extension.py @@ -9,14 +9,14 @@ """ from typing import Any, Dict +from typing import TYPE_CHECKING from sphinx.config import Config from sphinx.errors import VersionRequirementError from sphinx.locale import __ from sphinx.util import logging -if False: - # For type annotation +if TYPE_CHECKING: from sphinx.application import Sphinx logger = logging.getLogger(__name__) |