From 9274b02a9fa9d5c367f34d741b967925dd1e04e1 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 13 Sep 2006 17:20:34 +0000
Subject: cleaning from Stefan Monnier.

---
 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 9173017b..3f9a5979 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -711,7 +711,7 @@ argument must be t if inside the {}s of a record, nil otherwise."
         (back-to-indentation)))
   (if proof-indent-pad-eol (proof-indent-pad-eol)))
 
-(defun proof-indent-line-not-comments ()
+(defun coq-indent-line-not-comments ()
   "Same as  `proof-indent-line' but comments are not indented."
   (interactive)
   (unless (not (proof-ass script-indent))
-- 
cgit v1.2.3