From 817cb0d36323758896fc6a9cb9dd5c23f70c93cf Mon Sep 17 00:00:00 2001 From: "Paul Gauthier (aider)" Date: Wed, 18 Dec 2024 13:09:13 -0800 Subject: [PATCH] fix: Remove unused List, Optional imports --- benchmark/problem_stats.py | 1 - 1 file changed, 1 deletion(-) 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