From a6c3b3e4023c6d870b2d6076445c42bb0b313187 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 14 Sep 2006 07:05:01 +0000
Subject: fixed a bug from Stefan Monnier.

---
 coq/coq-indent.el | 1 -
 coq/coq.el        | 4 ++++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index 3f9a5979..b044937a 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -733,7 +733,6 @@ argument must be t if inside the {}s of a record, nil otherwise."
       (forward-line 1))
     (goto-char fin)))
 
-(set (make-local-variable 'indent-region-function) 'coq-indent-region)
 
 (provide 'coq-indent)
 
diff --git a/coq/coq.el b/coq/coq.el
index ea57fdb6..23eb2c5e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -858,6 +858,10 @@ This is specific to `coq-mode'."
    proof-indent-close-regexp    coq-indent-close-regexp
    )
 
+  (make-local-variable 'indent-region-function)
+  (setq indent-region-function 'coq-indent-region)
+
+
   ;; span menu 
   (setq proof-script-span-context-menu-extensions 'coq-create-span-menu)
 
-- 
cgit v1.2.3