Pacify pylint even more

2020-02-07 12:58:58 +01:00 · 2020-02-07 12:58:58 +01:00 · 5daaadc9dc
parent 532cf8160c
commit 5daaadc9dc
1 changed files with 1 additions and 0 deletions
--- a/synthesize.py
+++ b/synthesize.py
@ -1,3 +1,4 @@
 # pylint: disable=redefined-outer-name, unused-argument
 import os
 import time
 import argparse