From 904953a4df7fc2598a46fb59f2737f411a1469d0 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 3 Sep 2010 07:18:56 +0000 Subject: First fix of bug introduced by the last font-lock fix. Not finished. --- coq/coq-indent.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'coq/coq-indent.el') 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)))) -- cgit v1.2.3