diff options
| -rw-r--r-- | generic/proof-indent.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index b93c39f7..f631bc9c 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -101,7 +101,7 @@ (if (not (eq (current-indentation) indent)) (progn (delete-region beg (point)) (indent-to indent))))) - (skip-chars-forward "\t "))) + (skip-chars-forward "\t ")))) ;;;###autoload (defun proof-indent-region (start end) |