diff options
| -rw-r--r-- | generic/proof-indent.el | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 4464e3a8..ffcf6510 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -87,13 +87,5 @@ (back-to-indentation))))) -;;;###autoload -;FIXME mmw: remove this obsolete function!? -(defun proof-indent-region (start end) - (interactive "r") - (if (< (point) (proof-locked-end)) - (error "can't indent locked region!")) - (indent-region start end)) - (provide 'proof-indent) |