diff options
Diffstat (limited to 'coq/coq-local-vars.el')
| -rw-r--r-- | coq/coq-local-vars.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el index effa3d02..deaed341 100644 --- a/coq/coq-local-vars.el +++ b/coq/coq-local-vars.el @@ -78,8 +78,9 @@ Set them to PROGNAME and PROGARGS respectively. These variables describe the coqtop command to be launched on this file." (local-vars-list-set 'coq-prog-name progname) (local-vars-list-set 'coq-prog-args progargs) - (setq proof-prog-name progname) - (setq proof-prog-args progargs)) + ;; coq-guess-command-line uses coq-prog-name, so set it + (setq coq-prog-name progname) + (setq coq-prog-args progargs)) (defun coq-read-directory (prompt &optional default maynotmatch initialcontent) |