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 c6050abd..38feb34a 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2222,7 +2222,11 @@ command." (proof-goto-end-of-locked) (backward-char) (setq span (span-at (point) 'type))) - (proof-retract-target span delete-region))))) + (if span + (proof-retract-target span delete-region) + ;; something wrong + (proof-debug + "proof-retract-until-point: couldn't find a span!")))))) |