From 0d387073de67bac95e21fb8ede4da9f806827b9e Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Mon, 5 Aug 2024 02:08:04 +0000 Subject: [PATCH] minox fix --- src/lean_dojo/data_extraction/lean.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lean_dojo/data_extraction/lean.py b/src/lean_dojo/data_extraction/lean.py index 0d4001f..d7cdf32 100644 --- a/src/lean_dojo/data_extraction/lean.py +++ b/src/lean_dojo/data_extraction/lean.py @@ -8,8 +8,9 @@ import toml import time import urllib -import webbrowser import shutil +import tempfile +import webbrowser from enum import Enum from pathlib import Path from loguru import logger