diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2008-05-22 08:23:52 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2008-05-22 08:23:52 +0000 |
| commit | f26065599679034ef69d9049652beaafa540fa30 (patch) | |
| tree | 4a91d4400cef66be8570f8ab020940db36f3b0ee /coq/coq-local-vars.el | |
| parent | 91b0057e6994708f39b8ebde6dd14cb55de52f5d (diff) | |
Fixed a bug with local variable setting.
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) |