diff options
| author |  Perry E. Metzger <perry@piermont.com> | 2018-06-16 15:47:47 +0200 |
|---|---|---|
| committer |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-16 15:47:47 +0200 |
| commit | e8daea1c5f0ceb161ea1050698fcc8bb7e7cce17 (patch) | |
| tree | cc861a5f0eb87c03c2b6bae53ed29935f8f6363a /tools | |
| parent | f2e2d1d9f00ab731bd2bbe1dd57d685ac5024204 (diff) | |
Fix #7836: tools/inferior-coq.el uses next-line instead of forward-line.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/inferior-coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/inferior-coq.el b/tools/inferior-coq.el index b79d97d66..453bd1391 100644 --- a/tools/inferior-coq.el +++ b/tools/inferior-coq.el @@ -265,7 +265,7 @@ With argument, position cursor at end of buffer." (let ((end (point))) (beginning-of-line) (coq-send-region (point) end))) - (next-line 1)) + (forward-line 1)) (defun coq-send-abort () "Send the command \"Abort.\" to the inferior Coq process." |