diff options
| author |  Gerwin Klein <gerwin.klein@nicta.com.au> | 2004-01-19 05:27:06 +0000 |
|---|---|---|
| committer | Gerwin Klein <gerwin.klein@nicta.com.au> | 2004-01-19 05:27:06 +0000 |
| commit | c5229957606cff1a12f9b338cf473615e965143d (patch) | |
| tree | f4ac8079e356cc93a94698b76cea3cc9394369cc /generic/proof-indent.el | |
| parent | b8f93acd7cc8dec606a9fac6eba26abcc571d211 (diff) | |
revoke broken indent fix
Diffstat (limited to 'generic/proof-indent.el')
| -rw-r--r-- | generic/proof-indent.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 5f58fa1b..22ff742c 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -48,8 +48,7 @@ (defun proof-indent-goto-prev () ; Note: may change point, even in case of failure! "Goto to previous syntax element for script indentation, ignoring string/comment contexts." (and - (proof-re-search-backward proof-indent-any-regexp - (proof-queue-or-locked-end) t) + (proof-re-search-backward proof-indent-any-regexp nil t) (or (not (proof-looking-at-syntactic-context)) (proof-indent-goto-prev)))) |