diff --git a/DuperOnMathlib/lake-manifest.json b/DuperOnMathlib/lake-manifest.json
index 50f722e..435b9d0 100644
--- a/DuperOnMathlib/lake-manifest.json
+++ b/DuperOnMathlib/lake-manifest.json
@@ -53,7 +53,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/lean-auto.git",
     "subDir?": null,
-    "rev": "40791afa955f0472a2ee510e790adf0d34fe65b2",
+    "rev": "265a6e6dd94cd093c84f5d878b99a61fbbe280c9",
     "opts": {},
     "name": "auto",
     "inputRev?": "main",
diff --git a/lake-manifest.json b/lake-manifest.json
index 276cbf8..cde371e 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/lean-auto.git",
     "subDir?": null,
-    "rev": "40791afa955f0472a2ee510e790adf0d34fe65b2",
+    "rev": "265a6e6dd94cd093c84f5d878b99a61fbbe280c9",
     "opts": {},
     "name": "auto",
     "inputRev?": "main",