Remove a move_cursor from a lean3 test where we're already there.

Julian · Oct 22, 2023 · 2dc04c7 · 2dc04c7
1 parent ee5b5cd
commit 2dc04c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lua/tests/lean3/infoview/widgets_spec.lua b/lua/tests/lean3/infoview/widgets_spec.lua
@@ -22,7 +22,7 @@ helpers.if_has_lean3('infoview widgets', clean_buffer('example : 2 = 2 := by ref
     ]]
 
     vim.api.nvim_set_current_win(current_infoview.window)
-    helpers.move_cursor{ to = {2, 4} }  -- `ℕ`
+    -- We are already at the ℕ.
 
     local known_windows = { lean_window, current_infoview.window }
     assert.windows.are(known_windows)