minor fix

lean-dojo · Feb 23, 2024 · a1f32c8 · a1f32c8
1 parent 694e54d
commit a1f32c8
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/tests/conftest.py b/tests/conftest.py
@@ -3,13 +3,11 @@
 from lean_dojo import *
 
 
-LEAN_EXAMPLE_URL = "https://github.com/yangky11/lean-example"
 STD4_URL = "https://github.com/leanprover/std4"
-AESOP_URL = "https://github.com/JLimperg/aesop"
+AESOP_URL = "https://github.com/leanprover-community/aesop"
 MATHLIB4_URL = "https://github.com/leanprover-community/mathlib4"
 LEAN4_EXAMPLE_URL = "https://github.com/yangky11/lean4-example"
 URLS = [
-    LEAN_EXAMPLE_URL,
     STD4_URL,
     AESOP_URL,
     MATHLIB4_URL,