From 07bd4affff085fe11d56b5a7fe2d72a99567fdaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 13:43:25 +0000
Subject: Fixed typo.

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

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