diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index d25e83f5..964f826c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2000,6 +2000,10 @@ up to the end of the locked region." ;; steps. ;; FIXME: really, there shouldn't be more work to do: so ;; why call proof-find-and-forget-fn later? + (progn + (message (int-to-string (span-end span))) + (message (int-to-string (span-end target))) + (if (< (span-end span) (span-end target)) (progn ;; Skip comment spans at and immediately following target @@ -2021,7 +2025,7 @@ up to the end of the locked region." (proof-setup-retract-action (span-start span) end proof-kill-goal-command delete-region) - end (span-start span)))) + end (span-start span))))) ;; Check the start of the target span lies before the end ;; of the locked region (should always be true since we don't ;; make spans outside the locked region at the moment)... |