From bfd80feb6f9a8ad7e3c78ad368bc08a03baa5a7f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Szymon=20=C5=9Aliwa?= <knight.erraunt@gmail.com>
Date: Mon, 4 Aug 2014 15:26:48 +0000
Subject: [PATCH] added Coq support

Closes #156

[caleb@alerque.com: Drop redundant alternate comment delimiters]
Signed-off-by: Caleb Maclennan <caleb@alerque.com>
---
 plugin/NERD_commenter.vim | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugin/NERD_commenter.vim b/plugin/NERD_commenter.vim
index 933a0bf..788253d 100644
--- a/plugin/NERD_commenter.vim
+++ b/plugin/NERD_commenter.vim
@@ -118,6 +118,7 @@ let s:delimiterMap = {
     \ 'coffee': { 'left': '#' },
     \ 'conkyrc': { 'left': '#' },
     \ 'context': { 'left': '%', 'leftAlt': '--' },
+    \ 'coq': { 'left': '(*', 'right': '*)' },
     \ 'cpp': { 'left': '//', 'leftAlt': '/*', 'rightAlt': '*/' },
     \ 'cuda': { 'left': '/*','right': '*/', 'leftAlt': '//' },
     \ 'crontab': { 'left': '#' },