From 8cd2a68b4422231b0379cf3968547f542316ec76 Mon Sep 17 00:00:00 2001
From: Florian Schanda <florian.schanda@bmw.de>
Date: Thu, 21 Sep 2023 15:56:57 +0200
Subject: [PATCH] Try alternative lint justification

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

diff --git a/trlc/trlc.py b/trlc/trlc.py
index 699b5e91..15484d1d 100644
--- a/trlc/trlc.py
+++ b/trlc/trlc.py
@@ -33,6 +33,7 @@
 from trlc.lexer import TRLC_Lexer
 from trlc.version import TRLC_VERSION, BUGS_URL
 
+# pylint: disable=unused-import
 try:
     import cvc5
     VCG_API_AVAILABLE = True