From 06ff2979b376dcff3c3f7d796ee6fa15d6187296 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 16:18:29 +0000
Subject: Fixes so that proof-strict-read-only can be toggled within a session
 (via restart).

---
 generic/span-overlay.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/span-overlay.el')

diff --git a/generic/span-overlay.el b/generic/span-overlay.el
index 2b969028..7f0bbb34 100644
--- a/generic/span-overlay.el
+++ b/generic/span-overlay.el
@@ -92,7 +92,7 @@ elements = S0 S1 S2 .... [tl-seq.el]"
 (defun span-write-warning (span)
   "Give a warning message when SPAN is changed."
   (set-span-property span 'modification-hooks '(span-give-warning))
-  (set-span-property span 'modification-hooks '(span-give-warning)))
+  (set-span-property span 'insert-in-front-hooks '(span-give-warning)))
 
 (defun int-nil-lt (m n)
   (cond
-- 
cgit v1.2.3