From 5ee0540a2e0670f845ef0cf1e08ddf8788779ab8 Mon Sep 17 00:00:00 2001
From: yannickreiss <yannick.reiss@protonmail.ch>
Date: Sun, 15 Jun 2025 14:53:46 +0200
Subject: [PATCH] Prove framework

---
 lua/ada_mode.lua | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/lua/ada_mode.lua b/lua/ada_mode.lua
index 4ed63c0..84f3fc7 100644
--- a/lua/ada_mode.lua
+++ b/lua/ada_mode.lua
@@ -11,8 +11,19 @@ function Prove()
 	local run_cmd = { "alr gnatprove" }
 	vim.api.nvim_buf_set_lines(0, 0, -1, false, run_cmd)
 	vim.cmd(":%!bash")
+
+	buffer_loaded = true
 end
 
+function Close_Prove()
+	if buffer_loaded then
+		buffer_loaded = false
+		vim.cmd("bd!")
+	end
+end
+
+vim.keymap.set("n", "pp", ":lua Close_Prove()<cr>")
+
 -- @name setup_ada
 -- @param
 -- @short Verify installation of ada tools or install them.