fixed a bug from Stefan Monnier.

2 files changed, 4 insertions, 1 deletions

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)