diff options
| -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: *** |