From c7767b4dcc10f6a068763b6bfe300f38f2fdfc7f Mon Sep 17 00:00:00 2001
From: JOSHCLUNE <josh.seth.clune@gmail.com>
Date: Wed, 2 Oct 2024 23:49:57 -0400
Subject: [PATCH] Change lean-auto dependency to use duper2 branch

---
 lake-manifest.json | 4 ++--
 lakefile.lean      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 12c532e..2931a0e 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "bfd373fb8ee85a0255f64b4f376e5fb08bb8a1da",
+   "rev": "2b6ed7d9f86d558d94b8d9036a637395163c4fa6",
    "name": "auto",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.11.0",
+   "inputRev": "2b6ed7d9f86d558d94b8d9036a637395163c4fa6",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/batteries",
diff --git a/lakefile.lean b/lakefile.lean
index cfb6a58..12b68d4 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -2,7 +2,7 @@ import Lake
 
 open Lake DSL
 
-require auto from git "https://github.com/leanprover-community/lean-auto.git"@"v4.11.0"
+require auto from git "https://github.com/leanprover-community/lean-auto.git"@"2b6ed7d9f86d558d94b8d9036a637395163c4fa6"
 require batteries from git "https://github.com/leanprover-community/batteries" @ "v4.11.0"
 
 package Duper {