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