From 5afb974b780e3b5f5061ccfcc69bdf1fa33013a0 Mon Sep 17 00:00:00 2001
From: nichkara <nina.reiss@nickr.eu>
Date: Sat, 1 Nov 2025 07:28:23 +0100
Subject: [PATCH] Fix ada leave buffer error

---
 lua/ada_mode.lua | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/lua/ada_mode.lua b/lua/ada_mode.lua
index a62eecd..c844c99 100644
--- a/lua/ada_mode.lua
+++ b/lua/ada_mode.lua
@@ -51,10 +51,6 @@ vim.api.nvim_create_autocmd({ "BufEnter" }, {
 -- @param
 -- @short Leave ada and reverse any changes to my editor defaults
 local function leave_ada()
-	vim.keymap.del("n", "<leader>cb", ":!gnatpp %<cr>")
-	vim.keymap.del("n", "pp", ":lua Close_Prove()<cr>")
-	vim.keymap.del("n", "<leader>pp", ":lua Prove()<cr>")
-	vim.keymap.del("n", "<leader>op", ":lua Run()<cr>")
 	vim.opt.tabstop = 4
 	vim.opt.shiftwidth = 4
 end