From 2a19ed208fbdfcd35d41bdfaef8d40db2dd3999e Mon Sep 17 00:00:00 2001
From: JOSHCLUNE <josh.seth.clune@gmail.com>
Date: Mon, 8 Jul 2024 03:38:13 -0400
Subject: [PATCH] Update lean-auto

---
 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 2d9a255..65493be 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -4,10 +4,10 @@
  [{"url": "https://github.com/leanprover-community/lean-auto.git",
    "type": "git",
    "subDir": null,
-   "rev": "d90cb1aadbd52bf885958efa292ff4ef4f649732",
+   "rev": "7e475ff3bd5aa241b783546ca9700016e7a617ff",
    "name": "auto",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "d90cb1aadbd52bf885958efa292ff4ef4f649732",
+   "inputRev": "7e475ff3bd5aa241b783546ca9700016e7a617ff",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/batteries",
diff --git a/lakefile.lean b/lakefile.lean
index 81dce70..beb19da 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"@"d90cb1aadbd52bf885958efa292ff4ef4f649732"
+require auto from git "https://github.com/leanprover-community/lean-auto.git"@"7e475ff3bd5aa241b783546ca9700016e7a617ff"
 require batteries from git "https://github.com/leanprover-community/batteries" @ "v4.8.0"
 
 package Duper {