minor fix

lean-dojo · Apr 11, 2024 · 4d3054b · 4d3054b
1 parent e30ffee
commit 4d3054b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,