diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/util/krb5-batch-reindent.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/krb5-batch-reindent.el b/src/util/krb5-batch-reindent.el index 1fa82cc2a0..c1c24211af 100644 --- a/src/util/krb5-batch-reindent.el +++ b/src/util/krb5-batch-reindent.el @@ -36,7 +36,7 @@ (whitespace-style '(empty trailing))) ;; Only clean up tab issues if indent-tabs-mode is explicitly ;; set in the file local variables. - (if (assq 'indent-tabs-mode file-local-variables-alist) + (if (local-variable-p 'indent-tabs-mode) (progn (message "Enabling tab cleanups.") (add-to-list 'whitespace-style 'indentation) @@ -48,5 +48,5 @@ (whitespace-cleanup)) (save-buffer) - (kill-buffer) + (kill-buffer nil) (setq command-line-args-left (cdr command-line-args-left)))) |