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