Try alternative lint justification

bmw-software-engineering · Sep 21, 2023 · 8cd2a68 · 8cd2a68
1 parent 41b28fb
commit 8cd2a68
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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