From f2a148db80fb52e9adf8ddd3f4c8e6695056d131 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 15 Mar 2004 17:13:08 +0000
Subject: bug fix in holes (call to proof-indent-line instead of funcall
 indent-line-function).

---
 coq/coq-indent.el | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'coq')

diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index 3597c329..5cc7d868 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -529,3 +529,9 @@
 
 (provide 'coq-indent)
 
+;;;   Local Variables: ***
+;;;   tab-width:2 ***
+;;;   fill-column: 85 ***
+;;;   indent-tabs-mode:nil ***
+;;;   End: ***
+
-- 
cgit v1.2.3