From a002dbc150cd76d6cb9cdbaba17f129e3b5bc001 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:43:58 +0000
Subject: Updates.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 3f9e2622..cfdb6e66 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1295,6 +1295,8 @@ the proof script."
   (goto-char (point-min))
   (proof-retract-until-point-interactive))
 
+
+
 ;; FIXME da: this could do with some tweaking.  Be careful to
 ;; avoid memory leaks.  If a buffer is killed and it's local
 ;; variables are, then so should all the spans which were allocated
-- 
cgit v1.2.3