update lakefile

leanprover-community · Nov 4, 2023 · bb70966 · bb70966
1 parent aa788db
commit bb70966
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -4,7 +4,7 @@ open Lake DSL
 
 require std from git "https://github.com/leanprover/std4.git"@"main"
 
-require auto from git "https://github.com/avigad/lean-auto.git"
+require auto from git "https://github.com/leanprover-community/lean-auto.git"@"main"
 
 package Duper {
   precompileModules := true