From 4d3054b6f6058db1b2d76e22b0779b3375f43b79 Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@caltech.edu>
Date: Thu, 11 Apr 2024 08:34:48 -0500
Subject: [PATCH] minor fix

---
 src/lean_dojo/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lean_dojo/__init__.py b/src/lean_dojo/__init__.py
index 368dffd..72e4a6a 100644
--- a/src/lean_dojo/__init__.py
+++ b/src/lean_dojo/__init__.py
@@ -1,5 +1,5 @@
 import os
-import logger
+from loguru import logger
 from .data_extraction.trace import (
     trace,
     get_traced_repo_path,