From 9bed9eb56b63db397fdb4b9a76197ffc4d150ff6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Aug 2009 13:13:58 +0000
Subject: Only move proof-overlay-arrow once it's got a position.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 7c474096..ac44c9d9 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -3047,6 +3047,7 @@ Choice of function depends on configuration setting."
 	(min (or proof-last-edited-low-watermark (point-max))
 	     start))
   (if (and (markerp proof-overlay-arrow)
+	   (marker-position proof-overlay-arrow)
 	   (< start (marker-position proof-overlay-arrow))
 	   (>= start (proof-queue-or-locked-end)))
       (proof-set-overlay-arrow start)))
-- 
cgit v1.2.3