chore: add type annotation for configs

1 files changed, 1 insertions, 0 deletions

diff --git a/lsp/dafny.lua b/lsp/dafny.lua
index fbabe833..5b0fa86b 100644
--- a/lsp/dafny.lua
+++ b/lsp/dafny.lua
@@ -6,6 +6,7 @@
 -- older versions of Dafny, you can compile the language server from source at
 -- [dafny-lang/language-server-csharp](https://github.com/dafny-lang/language-server-csharp)
 -- and set `cmd = {"dotnet", "<Path to your language server>"}`.
+---@type vim.lsp.Config
 return {
   cmd = { 'dafny', 'server' },
   filetypes = { 'dfy', 'dafny' },