From f26065599679034ef69d9049652beaafa540fa30 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 22 May 2008 08:23:52 +0000 Subject: Fixed a bug with local variable setting. --- coq/coq-local-vars.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'coq/coq-local-vars.el') 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) -- cgit v1.2.3