From fe9c3183678fb385a5cf65a5afda7a06ec64ea98 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 15 Sep 2006 07:41:51 +0000
Subject: typo in coq-indent.

---
 coq/coq-indent.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index 32226f99..454024c5 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -729,7 +729,7 @@ argument must be t if inside the {}s of a record, nil otherwise."
     (goto-char deb)
     (while (< (point) fin)
       (or (and (bolp) (eolp))
-          (proof-indent-line-not-comments))
+          (coq-indent-line-not-comments))
       (forward-line 1))
     (goto-char fin)))
  
-- 
cgit v1.2.3