diff options
author | Paul Steckler <steck@stecksoft.com> | 2017-07-19 11:39:33 -0400 |
---|---|---|
committer | Paul Steckler <steck@stecksoft.com> | 2017-07-19 11:39:33 -0400 |
commit | e4b4155b3813f0eedf808ece4b0aef86c8abc1c0 (patch) | |
tree | 4fdec1643b86e78c37ecbbd12452f9c76bbbe285 | |
parent | 9f58c849ff35bd5d96e2db653bede6d44ce1f2a1 (diff) |
changed -emacs-U flag to -emacs
-rw-r--r-- | coq/coq-system.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index 9d6a9589..8da4ea23 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -384,7 +384,7 @@ LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'." LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'." ;; coqtop always adds the current directory to the LoadPath, so don't ;; include it in the -Q options. - (append (remove "-emacs" (remove "-emacs-U" coq-prog-args)) + (append (remove "-emacs" coq-prog-args) (let ((coq-load-path-include-current nil)) ; Not needed in >=8.5beta3 (coq-coqdep-prog-args coq-load-path current-directory pre-v85)))) @@ -654,7 +654,7 @@ then be set using local file variables." (setq coq-prog-args nil) (concat (substring command 0 (string-match " [^ ]*$" command)) - "-emacs-U")) + "-emacs")) coq-prog-name)))) ;;; coq-system.el ends here |