From 030a72f0aa4d56f9e8ff67921e6e3ffd0e97bf07 Mon Sep 17 00:00:00 2001
From: Igor <igorlfs@ufmg.br>
Date: Mon, 18 Aug 2025 23:39:23 -0300
Subject: chore: add type annotation for configs

---
 lsp/dolmenls.lua | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lsp/dolmenls.lua')

diff --git a/lsp/dolmenls.lua b/lsp/dolmenls.lua
index c0eefb4d..ec0981bc 100644
--- a/lsp/dolmenls.lua
+++ b/lsp/dolmenls.lua
@@ -6,6 +6,7 @@
 --- ```sh
 --- opam install dolmen_lsp
 --- ```
+---@type vim.lsp.Config
 return {
   cmd = { 'dolmenls' },
   filetypes = { 'smt2', 'tptp', 'p', 'cnf', 'icnf', 'zf' },
-- 
cgit v1.2.3-70-g09d2