diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2006-09-13 17:19:05 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2006-09-13 17:19:05 +0000 |
commit | c8e48c8b6a810f28cb73f5a56edb47321411edf6 (patch) | |
tree | 62fa7ea0a85e815a409315a104ed6433f97a43ec /coq/coq-indent.el | |
parent | 6dfe42be80842cabb3fda2a9c7fdb204f770780f (diff) |
cleaning from Stefan Monnier.
Diffstat (limited to 'coq/coq-indent.el')
-rw-r--r-- | coq/coq-indent.el | 3 |
1 files changed, 1 insertions, 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: *** |