From fb966de27685de85d6b91010aae635b837f4caf9 Mon Sep 17 00:00:00 2001
From: Nick <nick@nickr.eu>
Date: Sun, 19 Oct 2025 06:52:52 +0200
Subject: [PATCH] Beautify ada_mode to conform to lua standards

---
 lua/ada_mode.lua | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/lua/ada_mode.lua b/lua/ada_mode.lua
index 8987af0..9e1b401 100644
--- a/lua/ada_mode.lua
+++ b/lua/ada_mode.lua
@@ -1,8 +1,3 @@
--- Lua vim-dummy variable
-if vim == nil then
-	local vim = {}
-end
-
 -- @name Prove
 -- @param
 -- @short Run gnatprove
@@ -12,7 +7,7 @@ function Prove()
 	vim.api.nvim_buf_set_lines(0, 0, -1, false, run_cmd)
 	vim.cmd(":%!bash")
 
-	buffer_loaded = true
+	Buffer_loaded = true
 end
 
 -- @name Run
@@ -24,12 +19,12 @@ function Run()
 	vim.api.nvim_buf_set_lines(0, 0, -1, false, run_cmd)
 	vim.cmd(":%!bash")
 
-	buffer_loaded = true
+	Buffer_loaded = true
 end
 
 function Close_Prove()
-	if buffer_loaded then
-		buffer_loaded = false
+	if Buffer_loaded then
+		Buffer_loaded = false
 		vim.cmd("bd!")
 	end
 end