Skip to content

Commit

Permalink
Update mathlib testing submodule
Browse files Browse the repository at this point in the history
  • Loading branch information
@marcusrossel
marcusrossel committed Apr 24, 2024
1 parent ed8ec0f commit 59c9550
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Lean/Egg/Tests/mathlib4
Submodule mathlib4 updated 1 files
+6 −7 Mathlib/Testing/Egg/SimpOnlyOverride.lean

0 comments on commit 59c9550

Please sign in to comment.