diff options
| author |  jesopo | 2020-02-25 09:43:14 +0000 |
|---|---|---|
| committer | jesopo | 2020-02-25 09:43:14 +0000 |
| commit | d1bd3f49200ddd6b6298dd0c01cc894a66c938b5 (patch) | |
| tree | a1e03d4300478c69ae99e54dd0ad33e9aa872ad8 /src/utils | |
| parent | handle stdout being closed before we're finished (diff) | |
| signature | ||
deduplicate spec arg names
Diffstat (limited to 'src/utils')
| -rw-r--r-- | src/utils/parse/spec.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils/parse/spec.py b/src/utils/parse/spec.py index d0000fa0..7d7ffd3a 100644 --- a/src/utils/parse/spec.py +++ b/src/utils/parse/spec.py @@ -168,7 +168,7 @@ class SpecArgument(object): for argument_type in self.types: if not (context&argument_type.context) == 0: name = argument_type.name() or argument_type.type - if name: + if name and not name in names: names.append(name) if names: return format % "|".join(names) |