From 7fca2c5ebde79c67259bf065bf7632d4db187de1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 16:48:08 +0000
Subject: Changed peculiar message to something slightly less peculiar

---
 generic/proof-script.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-script.el')

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))))
-- 
cgit v1.2.3