diff --git a/rc/tools/comment.kak b/rc/tools/comment.kak
index 449bbc06..dc8371cd 100644
--- a/rc/tools/comment.kak
+++ b/rc/tools/comment.kak
@@ -90,6 +90,11 @@ hook global BufSetOption filetype=markdown %{
     set-option buffer comment_block_end '"'
 }
 
+hook global BufSetOption filetype=(ocaml|coq) %{
+    set-option buffer comment_block_begin '(* '
+    set-option buffer comment_block_end ' *)'
+}
+
 hook global BufSetOption filetype=perl %{
     set-option buffer comment_block_begin '#['
     set-option buffer comment_block_end ']'