From 56f51a5e66c5b4f35837b7592b832f23b05c97e8 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Mon, 24 Jan 2011 15:37:30 +0000
Subject: - change 'span-delete-action in 'span-delete-actions, which is   now
 a list of functions to be run when the span is deleted. Use  
 span-add-delete-action to add a delete action.

---
 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 55a80d4a..bf4541bf 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -547,7 +547,7 @@ It is recorded in the span with the 'rawname property."
     (span-set-property span 'id idsym)
     (span-set-property span 'name name)
     (span-set-property span 'rawname rawname)
-    (span-set-property span 'span-delete-action delfn)
+    (span-add-delete-action span delfn)
     
     ;; Ideally: would keep invisible property to be the idiom type
     ;; (span-set-property span 'invisible idiom)
-- 
cgit v1.2.3