diff --git a/benchmark/problem_stats.py b/benchmark/problem_stats.py index 06c9caf0a..e147fb4b8 100755 --- a/benchmark/problem_stats.py +++ b/benchmark/problem_stats.py @@ -4,7 +4,6 @@ import argparse import json from collections import defaultdict from pathlib import Path -from typing import List, Optional import yaml