This actually doesn't work in Lean 3 which is why it was cheaply miss…

…ing.
Julian · Oct 20, 2023 · 56c006e · 56c006e
1 parent d24fffc
commit 56c006e
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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]',