diff options
| -rw-r--r-- | coq/coq-mmm.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-mmm.el b/coq/coq-mmm.el index 46f9476f..70e3f107 100644 --- a/coq/coq-mmm.el +++ b/coq/coq-mmm.el @@ -33,7 +33,7 @@ :face mmm-comment-submode-face :front "(\\*\\*[^#]*#" :back "#[ \t]*\\*)" - :insert ((?h coqdoc-html nil @ "(** #" @ " _ " @ "# *)" @))) + :insert ((?w coqdoc-html nil @ "(** #" @ " _ " @ "# *)" @))) (coq-verbatim :submode text-mode |