From 5a72a1eb736516759201b223463f69f00979818e Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Sat, 31 Dec 2022 17:17:12 -0500 Subject: mypy: control.py is checked --- coverage/sqldata.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'coverage/sqldata.py') diff --git a/coverage/sqldata.py b/coverage/sqldata.py index c76451a7..d9f8ceaf 100644 --- a/coverage/sqldata.py +++ b/coverage/sqldata.py @@ -594,16 +594,16 @@ class CoverageData(AutoReprMixin): def touch_file(self, filename: str, plugin_name: str="") -> None: """Ensure that `filename` appears in the data, empty if needed. - `plugin_name` is the name of the plugin responsible for this file. It is used - to associate the right filereporter, etc. + `plugin_name` is the name of the plugin responsible for this file. + It is used to associate the right filereporter, etc. """ self.touch_files([filename], plugin_name) - def touch_files(self, filenames: Iterable[str], plugin_name: str="") -> None: + def touch_files(self, filenames: Iterable[str], plugin_name: Optional[str]=None) -> None: """Ensure that `filenames` appear in the data, empty if needed. - `plugin_name` is the name of the plugin responsible for these files. It is used - to associate the right filereporter, etc. + `plugin_name` is the name of the plugin responsible for these files. + It is used to associate the right filereporter, etc. """ if self._debug.should("dataop"): self._debug.write(f"Touching {filenames!r}") -- cgit v1.2.1