diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2023-02-04 12:00:32 -0500 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2023-02-04 12:00:32 -0500 |
| commit | 441823f18f705b8a79829cca36142a7f1511477b (patch) | |
| tree | 73d5ceab054cc911b79e2e31c02504303ead1369 /coverage/sqldata.py | |
| parent | 131060464647cd4c96fe8b79936d463847e9c0df (diff) | |
| download | python-coveragepy-git-441823f18f705b8a79829cca36142a7f1511477b.tar.gz | |
fix: two typing tweaks
Diffstat (limited to 'coverage/sqldata.py')
| -rw-r--r-- | coverage/sqldata.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverage/sqldata.py b/coverage/sqldata.py index 1cb8abe4..77577437 100644 --- a/coverage/sqldata.py +++ b/coverage/sqldata.py @@ -596,7 +596,7 @@ class CoverageData(AutoReprMixin): """ self.touch_files([filename], plugin_name) - def touch_files(self, filenames: Iterable[str], plugin_name: Optional[str] = None) -> None: + def touch_files(self, filenames: Collection[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. |