From c8e48c8b6a810f28cb73f5a56edb47321411edf6 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 13 Sep 2006 17:19:05 +0000
Subject: cleaning from Stefan Monnier.

---
 coq/coq-indent.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index 4e0e3bd2..9173017b 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -733,12 +733,11 @@ argument must be t if inside the {}s of a record, nil otherwise."
       (forward-line 1))
     (goto-char fin)))
 
-(setq indent-region-function 'coq-indent-region)
+(set (make-local-variable 'indent-region-function) 'coq-indent-region)
 
 (provide 'coq-indent)
 
 ;;;   Local Variables: ***
-;;;   tab-width:2 ***
 ;;;   fill-column: 85 ***
 ;;;   indent-tabs-mode:nil ***
 ;;;   End: ***
-- 
cgit v1.2.3