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