From d13b4f25462655b79ef4196cec23f7ed89eb22ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 09:20:18 +0000
Subject: Comments.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 080bd679..623ff342 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -237,13 +237,13 @@ scripting buffer may have an active queue span.")
 If END is at or before (point-min), remove the locked region.
 Otherwise set the locked region to be from (point-min) to END."
   (if (>= (point-min) end)
-      ;; Detach the queue span, otherwise there can be a read-only character at the end.
+      ;; Detach queue span, otherwise may have read-only character at end.
       (proof-detach-locked)
     (span-set-endpoints
      proof-locked-span
      (point-min)
-     (min (point-max) end) ;; safety: sometimes called with end>point-max(?)
-    )))
+      ;; safety in case called with end>point-max
+     (min (point-max) end))))
 
 (defsubst proof-set-queue-end (end)
   "Set the queue span to end at END."
-- 
cgit v1.2.3