chore: remove new broken test

It has been affected by recent changes to the Std library.
leanprover · Nov 21, 2024 · 60f60dc · 60f60dc
1 parent 7bafe6f
commit 60f60dc
Showing 1 changed file with 0 additions and 63 deletions.
diff --git a/tests/lean/run/simpConfigPropagationIssue2.lean b/tests/lean/run/simpConfigPropagationIssue2.lean