diff options
| -rw-r--r-- | coq/coq-indent.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index 9173017b..3f9a5979 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -711,7 +711,7 @@ argument must be t if inside the {}s of a record, nil otherwise." (back-to-indentation))) (if proof-indent-pad-eol (proof-indent-pad-eol))) -(defun proof-indent-line-not-comments () +(defun coq-indent-line-not-comments () "Same as `proof-indent-line' but comments are not indented." (interactive) (unless (not (proof-ass script-indent)) |