Commit 710eccb4 authored by Dominik Charousset's avatar Dominik Charousset

Fix handling of unused options

parent fa8b3fef
...@@ -25,7 +25,7 @@ def print_indented(line, indent): ...@@ -25,7 +25,7 @@ def print_indented(line, indent):
def read_lines(fp, ids): def read_lines(fp, ids):
indent = "" indent = ""
if len(ids) == 0: if not ids or len(ids) == 0:
for line in fp: for line in fp:
indent = print_indented(line, indent) indent = print_indented(line, indent)
else: else:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment