diff options
Diffstat (limited to 'lsp/dafny.lua')
| -rw-r--r-- | lsp/dafny.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lsp/dafny.lua b/lsp/dafny.lua index c6396e8e..fbabe833 100644 --- a/lsp/dafny.lua +++ b/lsp/dafny.lua @@ -1,6 +1,6 @@ ---@brief --- ----Support for the Dafny language server. +--- Support for the Dafny language server. -- The default `cmd` uses "dafny server", which works on Dafny 4.0.0+. For -- older versions of Dafny, you can compile the language server from source at |