chore: move test to run

2026-04-21 03:24:09 +00:00 · 2025-07-03 17:19:46 -07:00
1 changed files with 2 additions and 0 deletions
--- a/tests/lean/grind/grind_sym_prio.lean
+++ b/tests/lean/grind/grind_sym_prio.lean
@@ -1,6 +1,8 @@
 opaque q : Nat → Prop
 opaque p : Nat → Prop

+attribute [grind symbol default] HAdd.hAdd
+
 /-- info: foo: [@HAdd.hAdd `[Nat] `[Nat] `[Nat] `[instHAdd] #6 #5] -/
 #guard_msgs (info) in
@[grind? =>] theorem foo (x y : Nat) : x + y < 10 → q x → p x → p y → q y → x = y := by