diff options
Diffstat (limited to 'tools/boost_names.py')
| -rwxr-xr-x | tools/boost_names.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/boost_names.py b/tools/boost_names.py index d0e5444..af461d8 100755 --- a/tools/boost_names.py +++ b/tools/boost_names.py @@ -31,7 +31,7 @@ import json import re Module = collections.namedtuple('Module', ['dirname', 'name', 'libnames']) -Module.__repr__ = lambda self: str((self.dirname, self.name, self.libnames)) +Module.__repr__ = lambda self: str((self.dirname, self.name, self.libnames)) # type: ignore LIBS = 'libs' |