diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:22:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:22:38 +0000 |
| commit | e8f1988b47081eee28aa86157bafed973758d506 (patch) | |
| tree | d7b579fb2ec15d9d8b406b96cfa3677a4592b026 /generic/proof-script.el | |
| parent | 021fa0605a4eaf7cc437da605effbba4779f1369 (diff) | |
Improved nothing to do error message
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
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))) |