From 363af367c6fa05a63b2c00f0be32eadc2ed80c69 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 15 Sep 2006 07:40:11 +0000
Subject: fixed a typo in last correction.

---
 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 b044937a..32226f99 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -732,7 +732,7 @@ argument must be t if inside the {}s of a record, nil otherwise."
           (proof-indent-line-not-comments))
       (forward-line 1))
     (goto-char fin)))
-
+ 
 
 (provide 'coq-indent)
 
-- 
cgit v1.2.3