feat(ft): support for block comments in coq (#465)

Block comments are legal in Coq, with the same syntax as line comments `(*%s*)`. This syntax comes from OCaml, for which block comments are indeed already specified. Co-authored-by: Loïc <[email protected]>
numToStr · Jun 9, 2024 · 8255bdc · 8255bdc
1 parent 84528d9
commit 8255bdc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lua/Comment/ft.lua b/lua/Comment/ft.lua
@@ -51,7 +51,7 @@ local L = setmetatable({
     cmake = { M.hash, M.hash_bracket },
     conf = { M.hash },
     conkyrc = { M.dash, M.dash_bracket },
-    coq = { M.fsharp_b },
+    coq = { M.fsharp_b, M.fsharp_b },
     cpp = { M.cxx_l, M.cxx_b },
     cs = { M.cxx_l, M.cxx_b },
     css = { M.cxx_b, M.cxx_b },