diff options
-rw-r--r-- | coq/coq-abbrev.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index a5131f10..6f062436 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -9,7 +9,7 @@ (defun holes-show-doc () (interactive) - (describe-variable 'holes-doc)) + (describe-function 'holes-mode)) (defun coq-local-vars-list-show-doc () (interactive) |