From 05e1b49a2013f71931de35310f1ac077d261f7bf Mon Sep 17 00:00:00 2001
From: David JULIEN <swy7ch@protonmail.com>
Date: Sat, 30 Oct 2021 15:30:07 +0200
Subject: [PATCH] [nvim] fix verilog/coq maps

---
 .config/nvim/after/ftplugin/verilog.lua | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.config/nvim/after/ftplugin/verilog.lua b/.config/nvim/after/ftplugin/verilog.lua
index a41731d..4f3a743 100644
--- a/.config/nvim/after/ftplugin/verilog.lua
+++ b/.config/nvim/after/ftplugin/verilog.lua
@@ -7,7 +7,8 @@ utils.map("n", "<C-c>", "<cmd>CoqInterrupt<CR>")
 utils.map("n", "<leader>j", "<cmd>CoqNext<CR>")
 utils.map("n", "<leader>k", "<cmd>CoqUndo<CR>")
 utils.map("n", "<leader><CR>", "<cmd>CoqToLine<CR>")
-utils.map("n", "<leader>a", "<cmd>Coq About")
-utils.map("n", "<leader>G", "<cmd>CoqJumpToEnd")
+utils.map("n", "<leader>a", ":Coq About")
+utils.map("n", "<leader>s", ":Coq Search")
+utils.map("n", "<leader>G", "<cmd>CoqJumpToEnd<CR>")
 
 utils.map("i", "//", "∥")