diff options
| author | David Aspinall | 1998-12-11 13:43:25 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 13:43:25 +0000 |
| commit | 07bd4affff085fe11d56b5a7fe2d72a99567fdaa (patch) | |
| tree | c7450745f50d0f29782962351d389a87cffadb00 /generic | |
| parent | 0c8ecb6a379b1594c7864d96e5a33ff1c1a6442b (diff) | |
Fixed typo.
Diffstat (limited to 'generic')
| -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 c66e1029..8dab3f4d 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -166,7 +166,7 @@ Otherwise make span give a warning message on edits." (defun proof-init-segmentation () "Initialise the queue and locked spans in a proof script buffer. Allocate spans if need be. The spans are detached from the -buffer, so the locked region is made empty by this function. +buffer, so the locked region is made empty by this function." ;; Initialise queue span, remove it from buffer. (if (not proof-queue-span) (setq proof-queue-span (make-span 1 1))) |