Missing type annotation.

Julian · Dec 20, 2024 · b9d24b0 · b9d24b0
1 parent f5c18b3
commit b9d24b0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lua/lean/abbreviations.lua b/lua/lean/abbreviations.lua
@@ -9,6 +9,7 @@ local abbreviations = {}
 local _MEMOIZED = nil
 
 ---Load the Lean abbreviations as a Lua table.
+---@return { [string]: string } abbreviations
 function abbreviations.load()
   if _MEMOIZED ~= nil then
     return _MEMOIZED