From e8f1988b47081eee28aa86157bafed973758d506 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 22 Nov 1999 17:22:38 +0000 Subject: Improved nothing to do error message --- generic/proof-script.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-script.el') diff --git a/generic/proof-script.el b/generic/proof-script.el index dfac8865..ccfde84c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1393,7 +1393,7 @@ scripting." ;; Give error if no non-whitespace between point and end of ;; locked region. (if (proof-only-whitespace-to-locked-region-p) - (error "There's nothing to do to!")) + (error "At the end of the locked region already, there's nothing to do to!")) ;; 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))) -- cgit v1.2.3