diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 2 insertions, 0 deletions
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 |