diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py
index 2f691510b..f7142ef6e 100755
--- a/benchmark/benchmark.py
+++ b/benchmark/benchmark.py
@@ -11,6 +11,7 @@ import time
 from collections import defaultdict
 from json.decoder import JSONDecodeError
 from pathlib import Path
+from typing import List
 
 import git
 import lox