diff --git a/src/lean_dojo/__init__.py b/src/lean_dojo/__init__.py
index a1297d6..5024a5d 100644
--- a/src/lean_dojo/__init__.py
+++ b/src/lean_dojo/__init__.py
@@ -28,8 +28,3 @@
 from .interaction.parse_goals import Declaration, Goal, parse_goals
 from .data_extraction.lean import get_latest_commit, LeanGitRepo, LeanFile, Theorem, Pos
 from .constants import __version__
-
-if os.geteuid() == 0:
-    logger.warning(
-        "Running LeanDojo as the root user may cause unexpected issues. Proceed with caution."
-    )