diff options
| -rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -22,7 +22,7 @@ (require 'span)) (require 'coq-local-vars) -(require 'coq-syntax) ; determines coq version +(require 'coq-syntax) ; determines coq version, sets coq-prog-name ;; ----- coq-shell configuration options @@ -133,7 +133,7 @@ On Windows you might need something like: (setq tags-always-exact t) ; Tags is unusable with Coq library otherwise: (defun coq-library-directory () - (let ((c (substring (shell-command-to-string "coqtop -where") 0 -1 ))) + (let ((c (substring (shell-command-to-string (concat coq-prog-name " -where")) 0 -1 ))) (if (string-match c "not found") "/usr/local/lib/coq" c))) |