lean4, pygments: Pacify pylint

cpitclaudel · Jun 12, 2022 · 739b46d · 739b46d
1 parent e1dae31
commit 739b46d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/alectryon/lean4.py b/alectryon/lean4.py
@@ -22,7 +22,6 @@
 
 import tempfile
 import os
-import subprocess
 from pathlib import Path
 from alectryon import json
 

diff --git a/alectryon/pygments_style.py b/alectryon/pygments_style.py
@@ -46,7 +46,7 @@
 
 from pygments.style import Style
 from pygments.token import Keyword, Name, Comment, String, Error, \
-     Number, Operator, Generic, Whitespace, Punctuation, Other, Literal
+     Number, Operator, Generic, Punctuation, Other, Literal
 
 class AlectryonStyle(Style):
     """A style inspired by the color palette of the Tango icon theme.