diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 15:27:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 15:27:57 +0000 |
| commit | f249d8f89389970c848e2e5964f3340adbfd75dc (patch) | |
| tree | 35fc8f795e7f90a284581729a20b44bca50094cf /generic/proof-indent.el | |
| parent | 4d2351dc5954ee95599a6e14c19769370061a96f (diff) | |
Missing parenthesis
Diffstat (limited to 'generic/proof-indent.el')
| -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) |