diff options
| author | David Aspinall | 2011-05-27 11:56:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-05-27 11:56:16 +0000 |
| commit | 22295d5e6520cfd025feebb4b000fde2c41fadd4 (patch) | |
| tree | e495060a60e401e8c084755ba62da8ad6d25d4a1 /generic/proof-script.el | |
| parent | 94189d162954ffd921a40ade8eb16a795c7f48be (diff) | |
ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404
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 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) |