diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-11-26 14:37:58 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-11-30 22:13:06 +0100 |
commit | fbd995b819f13d3895f8a45476802e2d7172fc52 (patch) | |
tree | 5e013acfdfd366439cd1ad74616eacb8033cca72 /coq/coq-compile-common.el | |
parent | a6dd1c2622f085233b21bebe1ed4c70dedebb182 (diff) |
style change: use when for if coq-debug-auto-compilation
Diffstat (limited to 'coq/coq-compile-common.el')
-rw-r--r-- | coq/coq-compile-common.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el index 4c24a28b..1f31c1d3 100644 --- a/coq/coq-compile-common.el +++ b/coq/coq-compile-common.el @@ -508,15 +508,15 @@ compiled with ``-quick'' or not." (eq (compare-strings coq-library-directory 0 nil lib-obj-file 0 (length coq-library-directory)) t) - (if coq--debug-auto-compilation - (message "Ignore lib file %s" lib-obj-file)) + (when coq--debug-auto-compilation + (message "Ignore lib file %s" lib-obj-file)) t) (if (some (lambda (dir-regexp) (string-match dir-regexp lib-obj-file)) coq-compile-ignored-directories) (progn - (if coq--debug-auto-compilation - (message "Ignore %s" lib-obj-file)) + (when coq--debug-auto-compilation + (message "Ignore %s" lib-obj-file)) t) nil))) |