diff options
| author | Christophe Raffalli | 2000-12-22 14:03:10 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2000-12-22 14:03:10 +0000 |
| commit | b63dd74e45d33d5493906b3c8caf00d0b84d8146 (patch) | |
| tree | 3f00fcdbe261dd874cce7d7309f3b94e3b2c225f /generic/proof-script.el | |
| parent | 7fd3934a7915b9dcc7930d59c592089e1357309d (diff) | |
*** empty log message ***
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)... |