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