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/fstar.lua | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lsp/fstar.lua')

diff --git a/lsp/fstar.lua b/lsp/fstar.lua
index 29216217..5b3e0d47 100644
--- a/lsp/fstar.lua
+++ b/lsp/fstar.lua
@@ -3,6 +3,7 @@
 --- https://github.com/FStarLang/FStar
 ---
 --- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
+---@type vim.lsp.Config
 return {
   cmd = { 'fstar.exe', '--lsp' },
   filetypes = { 'fstar' },
-- 
cgit v1.2.3-70-g09d2