From e3f5bbbc2c66a7910a6e8f10d1d30af6d2df0705 Mon Sep 17 00:00:00 2001 From: Lars Beckers <lars.beckers@rwth-aachen.de> Date: Sat, 21 Sep 2019 20:12:50 +0200 Subject: [PATCH] fix formatting error --- generate.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/generate.py b/generate.py index 80c6269..4cbab19 100755 --- a/generate.py +++ b/generate.py @@ -108,7 +108,9 @@ def retrieve_hosts(): break host.append(alt) - req_set = set(s.strip() for s in config['excludes']['required'].split(',') if s.strip()) + req_set = set(s.strip() for s in config['excludes']['required'].split(',') + if s.strip()) + def intersects(s): cmp_set = s.copy() for x in s: -- GitLab