From 2dc04c763a4153cf55fce6200100967966e9e961 Mon Sep 17 00:00:00 2001 From: Julian Berman Date: Sun, 22 Oct 2023 15:39:32 -0400 Subject: [PATCH] Remove a move_cursor from a lean3 test where we're already there. --- lua/tests/lean3/infoview/widgets_spec.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lua/tests/lean3/infoview/widgets_spec.lua b/lua/tests/lean3/infoview/widgets_spec.lua index 7d7d2e4d..1192301e 100644 --- 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)