diff options
Diffstat (limited to 'lsp/fstar.lua')
| -rw-r--r-- | lsp/fstar.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lsp/fstar.lua b/lsp/fstar.lua index 4010873e..29216217 100644 --- a/lsp/fstar.lua +++ b/lsp/fstar.lua @@ -1,8 +1,8 @@ ---@brief --- --- https://github.com/FStarLang/FStar --- --- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH. +--- https://github.com/FStarLang/FStar +--- +--- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH. return { cmd = { 'fstar.exe', '--lsp' }, filetypes = { 'fstar' }, |