summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lint.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/lint.py b/lint.py
index 335de16..ee54b04 100644
--- a/lint.py
+++ b/lint.py
@@ -322,7 +322,7 @@ This is used by the global evaluation report (RP0004).'}),
self.report_evaluation),
)
self.register_checker(self)
- self._dynamic_plugins = []
+ self._dynamic_plugins = set()
self.load_provider_defaults()
self.set_reporter(reporter or TextReporter(sys.stdout))
@@ -348,7 +348,7 @@ This is used by the global evaluation report (RP0004).'}),
for modname in modnames:
if modname in self._dynamic_plugins:
continue
- self._dynamic_plugins.append(modname)
+ self._dynamic_plugins.add(modname)
module = load_module_from_name(modname)
module.register(self)