diff --git a/Tools/clinic/clinic.py b/Tools/clinic/clinic.py index cb999c156ee28b..3c16dc389e3ebc 100755 --- a/Tools/clinic/clinic.py +++ b/Tools/clinic/clinic.py @@ -2015,7 +2015,6 @@ def __post_init__(self, args: tuple[str, ...]) -> None: if self.type =='file': d = {} filename = self.clinic.filename - assert filename is not None d['path'] = filename dirname, basename = os.path.split(filename) if not dirname: @@ -2133,8 +2132,8 @@ def __init__( language: CLanguage, printer: BlockPrinter | None = None, *, + filename: str, verify: bool = True, - filename: str | None = None ) -> None: # maps strings to Parser objects. # (instantiated from the "parsers" global.)