diff options
| author | David Aspinall | 2000-12-22 15:01:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-22 15:01:45 +0000 |
| commit | 59822fa9660274a735be865a4ed939b5a2266dd1 (patch) | |
| tree | d8b90e103a7a30d62daa2c822b66d3db28075f83 | |
| parent | 0cae8f649af886d56acba33a7b4c491de04bf483 (diff) | |
Removed accidently committed debugging code
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 964f826c..d25e83f5 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2000,10 +2000,6 @@ 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 @@ -2025,7 +2021,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)... |