diff options
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 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) |