diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 16:48:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 16:48:08 +0000 |
commit | 7fca2c5ebde79c67259bf065bf7632d4db187de1 (patch) | |
tree | 9de595ecc3fcd988218d08099fa3ba5ac8a18687 | |
parent | f147415d3a882a489829333b2b61a3f53d9758d1 (diff) |
Changed peculiar message to something slightly less peculiar
-rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 19dd5afb..cd53552c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -924,14 +924,14 @@ scripting." ;; Give error if no non-whitespace between point and end of locked region. ;; FIXME da: a nasty mess (if (proof-only-whitespace-to-locked-region-p) - (error "I don't know what I should be doing in this buffer!")) + (error "There's nothing to do in this buffer!")) ;; NB: (point) has now been moved backwards to first non-whitespace char. (setq semis (proof-segment-up-to (point)))) (if (and unclosed-comment-fun (eq 'unclosed-comment (car semis))) (funcall unclosed-comment-fun) (if (eq 'unclosed-comment (car semis)) (setq semis (cdr semis))) (if (and (not ignore-proof-process-p) (null semis)) - (error "I don't know what I should be doing in this buffer!")) + (error "There's nothing to do in this buffer!")) (goto-char (nth 2 (car semis))) (and (not ignore-proof-process-p) (let ((vanillas (proof-semis-to-vanillas (nreverse semis)))) |