diff --git a/scripts/lint-style.py b/scripts/lint-style.py
index a2029581b6f17f..254e31a3f3a767 100755
--- 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