From b9d24b09abe877916dae2b08e12a42e48473faa8 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Fri, 20 Dec 2024 14:08:24 -0500
Subject: [PATCH] Missing type annotation.

---
 lua/lean/abbreviations.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lua/lean/abbreviations.lua b/lua/lean/abbreviations.lua
index 9fab1016..8c1b10df 100644
--- 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