diff options
| author |  jesopo | 2019-05-25 21:42:42 +0100 |
|---|---|---|
| committer | jesopo | 2019-05-25 21:42:42 +0100 |
| commit | eeee2458d3bd05e07cade53454383de184f8fde7 (patch) | |
| tree | 999fc237c36e64ca168fade6598980c95eaf8a79 /src/ModuleManager.py | |
| parent | Add `depends-on` hashflags to relevant modules (diff) | |
Fix utils.parse.hashflags type hints
Diffstat (limited to 'src/ModuleManager.py')
| -rw-r--r-- | src/ModuleManager.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ModuleManager.py b/src/ModuleManager.py index 6aafa9b3..ca636063 100644 --- a/src/ModuleManager.py +++ b/src/ModuleManager.py @@ -53,7 +53,7 @@ class ModuleDefinition(object): name: str, filename: str, type: ModuleType, - hashflags: typing.List[typing.Tuple[str, str]]): + hashflags: typing.List[typing.Tuple[str, typing.Optional[str]]]): self.name = name self.filename = filename self.type = type |