From e461e3804b11c8f08a5087c464c7c1a7f84c5477 Mon Sep 17 00:00:00 2001
From: David JULIEN <swy7ch@protonmail.com>
Date: Thu, 21 Oct 2021 23:49:39 +0200
Subject: [PATCH] [nvim]fix: verilo maps

---
 .config/nvim/after/ftplugin/verilog.lua | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.config/nvim/after/ftplugin/verilog.lua b/.config/nvim/after/ftplugin/verilog.lua
index 6cd413e..a41731d 100644
--- a/.config/nvim/after/ftplugin/verilog.lua
+++ b/.config/nvim/after/ftplugin/verilog.lua
@@ -3,11 +3,11 @@
 -- License      : GPLv3
 -- Description  : verilog fietype config
 
-utils.map("n", "<C-c>", ":CoqInterrupt<Enter>")
-utils.map("n", "<leader>j", ":CoqNext<Enter>")
-utils.map("n", "<leader>k", ":CoqUndo<Enter>")
-utils.map("n", "<leader><Enter>", ":CoqToLine<Enter>")
-utils.map("n", "<leader>a", ":Coq About")
-utils.map("n", "<leader>G", ":CoqJumpToEnd")
+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("i", "//", "∥")