diff options
| -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)))) |