diff options
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 5 | ||||
| -rw-r--r-- | coq/coq.el | 2 |
2 files changed, 1 insertions, 6 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 5b15cb3a..b95d0345 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -27,11 +27,6 @@ See also `coq-prog-env' to adjust the environment." :type 'string :group 'coq) -;; da: please take care that the compiled version of this file works! -;; Top-level forms need to be delayed during compile. - -(eval-when (load eval) - (custom-reevaluate-setting 'coq-prog-name)) ;;; keyword databases @@ -37,8 +37,8 @@ (declare-function smie-rule-parent-p "smie") (require 'proof) -(require 'coq-local-vars) ; (require 'coq-syntax) ; sets coq-prog-name +(require 'coq-local-vars) ; (require 'coq-abbrev) ; coq specific menu |