From 59c9550f4df72699393f95528b2754f06cab88bb Mon Sep 17 00:00:00 2001
From: Marcus Rossel <marcusrossel@icloud.com>
Date: Wed, 24 Apr 2024 16:44:09 +0200
Subject: [PATCH] Update mathlib testing submodule

---
 Lean/Egg/Tests/mathlib4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Lean/Egg/Tests/mathlib4 b/Lean/Egg/Tests/mathlib4
index 7b780c1..10d8231 160000
--- a/Lean/Egg/Tests/mathlib4
+++ b/Lean/Egg/Tests/mathlib4
@@ -1 +1 @@
-Subproject commit 7b780c19c9ad67558e3cc34c3cb565faa21164b0
+Subproject commit 10d8231f2c0c98fda9db81682683b3a3f3228791