diff options
Diffstat (limited to 'coq/coq-compile-common.el')
| -rw-r--r-- | coq/coq-compile-common.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el index f6adc5cd..f96b07da 100644 --- a/coq/coq-compile-common.el +++ b/coq/coq-compile-common.el @@ -17,7 +17,7 @@ (require 'coq-system) (require 'compile) -(eval-when (compile) +(eval-when-compile ;;(defvar coq-pre-v85 nil) (defvar coq-confirm-external-compilation); defpacustom (defvar coq-compile-parallel-in-background)) ; defpacustom |