diff options
Diffstat (limited to 'lsp/fstar.lua')
| -rw-r--r-- | lsp/fstar.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lsp/fstar.lua b/lsp/fstar.lua index 5b3e0d47..749460f1 100644 --- a/lsp/fstar.lua +++ b/lsp/fstar.lua @@ -3,6 +3,7 @@ --- https://github.com/FStarLang/FStar --- --- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH. + ---@type vim.lsp.Config return { cmd = { 'fstar.exe', '--lsp' }, |