From cbe31f8150b5798706364a8985dd48a006bd8d18 Mon Sep 17 00:00:00 2001
From: Pierrot <tiky.halbaroth@gmail.com>
Date: Mon, 7 Aug 2023 13:56:55 +0200
Subject: [PATCH] feat(ft): add `coq` support (#388)

See https://coq.github.io/doc/v8.9/refman/language/gallina-specification-language.html
---
 lua/Comment/ft.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lua/Comment/ft.lua b/lua/Comment/ft.lua
index 434227e..812eacd 100644
--- a/lua/Comment/ft.lua
+++ b/lua/Comment/ft.lua
@@ -50,6 +50,7 @@ local L = setmetatable({
     cmake = { M.hash, M.hash_bracket },
     conf = { M.hash },
     conkyrc = { M.dash, M.dash_bracket },
+    coq = { M.fsharp_b },
     cpp = { M.cxx_l, M.cxx_b },
     cs = { M.cxx_l, M.cxx_b },
     css = { M.cxx_b, M.cxx_b },