From e8daea1c5f0ceb161ea1050698fcc8bb7e7cce17 Mon Sep 17 00:00:00 2001 From: "Perry E. Metzger" Date: Sat, 16 Jun 2018 15:47:47 +0200 Subject: Fix #7836: tools/inferior-coq.el uses next-line instead of forward-line. --- tools/inferior-coq.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') 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." -- cgit v1.2.3