diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2010-09-03 07:18:56 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2010-09-03 07:18:56 +0000 |
commit | 904953a4df7fc2598a46fb59f2737f411a1469d0 (patch) | |
tree | 1e4b1d5eba8c2ffda691f98fbe5a4057e9049840 /coq/coq-indent.el | |
parent | c9bfe11b0664bd6478f4ae75b10004b5d20a0386 (diff) |
First fix of bug introduced by the last font-lock fix. Not finished.
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)))) |