slightly unhappy change to test

tests/lean/simpArrayIdx.lean

diff --git a/tests/lean/simpArrayIdx.lean b/tests/lean/simpArrayIdx.lean
index abcd0d5..b31b3e6 100644
--- a/tests/lean/simpArrayIdx.lean
+++ b/tests/lean/simpArrayIdx.lean
@@ -10,7 +10,7 @@
 #check_simp (i + 0) ~> i
 
 #check_simp (a.set! i v).get ⟨i, g⟩ ~> v
-#check_simp (a.set! i v).get! i ~> if i < a.size then v else default
+#check_simp (a.set! i v).get! i ~> (a.setD i v)[i]!
 #check_simp (a.set! i v).getD i d ~> if i < a.size then v else d
 #check_simp (a.set! i v)[i] ~> v