From 22295d5e6520cfd025feebb4b000fde2c41fadd4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 May 2011 11:56:16 +0000
Subject: ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404

---
 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 020f4439..9e4562c4 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2674,7 +2674,7 @@ Stores recent results of `proof-segment-up-to' in reverse order.")
       (let ((semis (proof-segment-up-to pos args)))
 	(setq proof-segment-up-to-cache (reverse semis))
 	(setq proof-segment-up-to-cache-start (proof-queue-or-locked-end))
-	(setq proof-segment-up-to-cache-end (if semis (nth 2 (car semis))))
+	(setq proof-segment-up-to-cache-end (if semis (nth 2 (car semis)) 0))
 	(when proof-last-edited-low-watermark
 	  (if (<= proof-last-edited-low-watermark
 		  proof-segment-up-to-cache-end)
-- 
cgit v1.2.3