From 5daaadc9dc3d46ba2048401e3a681eae248eb68f Mon Sep 17 00:00:00 2001
From: Markus Toman <m.toman@neuratec.com>
Date: Fri, 7 Feb 2020 12:58:58 +0100
Subject: [PATCH] Pacify pylint even more

---
 synthesize.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/synthesize.py b/synthesize.py
index a338f8b8..bf85d7c9 100644
--- a/synthesize.py
+++ b/synthesize.py
@@ -1,3 +1,4 @@
+# pylint: disable=redefined-outer-name, unused-argument
 import os
 import time
 import argparse