fixup

leanprover-community · May 10, 2024 · 1f7eaff · 1f7eaff
1 parent fce04ec
commit 1f7eaff
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/lint-style.py b/scripts/lint-style.py
@@ -32,14 +32,14 @@
 
 # TODO: This is adapted from the linter for mathlib3. It should be rewritten in Lean.
 
-import enum
+from enum import Enum
 from pathlib import Path
 import re
 import shutil
 import sys
 
 
-class Error(enum):
+class Error(Enum):
     '''Possible errors raised by this script.'''
     ERR_COP = 0 # copyright header
     ERR_MOD = 2 # module docstring