chore: move test

It is working now
2026-04-22 20:14:08 +00:00 · 2025-05-30 09:47:02 -07:00
1 changed files with 1 additions and 1 deletions
--- a/tests/lean/grind/grind_ite_congr.lean
+++ b/tests/lean/grind/grind_ite_congr.lean
@@ -7,4 +7,4 @@ example : ((if (!false) = true then id else id) false) = false := by
  decide

 example : ((if (!false) = true then id else id) false) = false := by
-  grind -- fails
+  grind -- must not fail