From 56c006e854726dcf0d0d98bf1e89c76c03e21065 Mon Sep 17 00:00:00 2001 From: Julian Berman Date: Fri, 20 Oct 2023 16:49:07 -0400 Subject: [PATCH] This actually doesn't work in Lean 3 which is why it was cheaply missing. --- lua/tests/lean3/switch_spec.lua | 3 --- 1 file changed, 3 deletions(-) diff --git a/lua/tests/lean3/switch_spec.lua b/lua/tests/lean3/switch_spec.lua index 3e7ed47d..ad509543 100644 --- a/lua/tests/lean3/switch_spec.lua +++ b/lua/tests/lean3/switch_spec.lua @@ -85,9 +85,6 @@ if_has_lean3('switch', function() vim.api.nvim_command('normal! 1gg0') vim.cmd('Switch') assert.contents.are[[squeeze_simp]] - - vim.cmd('Switch') - assert.contents.are[[simp]] end)) it('switches between simp [foo] and squeeze_simp [foo]',