diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-12-11 17:01:20 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-12-11 17:01:20 +0000 |
commit | 0164d341b4b5c5c55f39abde040aa4c591cfcf90 (patch) | |
tree | 6fbcefd205df0e7d88f99b999f15e67ef1b1599b /generic/proof-indent.el | |
parent | 598d4d4dd222932bfe38d115ef46f01b483f091f (diff) |
Fix domain name
Diffstat (limited to 'generic/proof-indent.el')
-rw-r--r-- | generic/proof-indent.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 22ff742c..5f58fa1b 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -48,7 +48,8 @@ (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 nil t) + (proof-re-search-backward proof-indent-any-regexp + (proof-queue-or-locked-end) t) (or (not (proof-looking-at-syntactic-context)) (proof-indent-goto-prev)))) |