diff options
Diffstat (limited to 'coq/coq-indent.el')
-rw-r--r-- | coq/coq-indent.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index b0b52e95..6fbb21a3 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -365,8 +365,8 @@ not inside the {} of a record)." (goto-char nextpt) (cond ((proof-looking-at-syntactic-context) ()) - ((proof-looking-at-safe proof-indent-close-regexp) - (coq-find-unclosed 1 limit)) ;; recursive call + ;; ((proof-looking-at-safe proof-indent-close-regexp) + ;; (coq-find-unclosed 1 limit)) ;; recursive call ((proof-looking-at-safe close-re) (setq lvl (+ lvl 1))) ((proof-looking-at-safe open-re) (setq lvl (- lvl 1)))) (setq nextpt (save-excursion (proof-re-search-backward both-re)))) |