diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-06 15:29:02 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-06 15:29:02 -0500 |
| commit | 82b36578918f9fa031c97a5ef00d036dad0b4c83 (patch) | |
| tree | 975f2c7e7ba6342d450b287e17421938590aa79b /coq/coq-system.el | |
| parent | 626013259652e208ce99c84463e05ce22e62484a (diff) | |
Use coq-prog-name to autodetect version number
Diffstat (limited to 'coq/coq-system.el')
| -rw-r--r-- | coq/coq-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index 963a0985..0827a12a 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -99,7 +99,7 @@ If it doesn't look right, try `coq-autodetect-version'." Interactively (with INTERACTIVE-P), show that number." (interactive '(t)) (setq coq-autodetected-version nil) - (let ((version-string (car (process-lines "coqtop" "-v")))) + (let ((version-string (car (process-lines (or coq-prog-name "coqtop") "-v")))) (when (and version-string (string-match "version \\([^ ]+\\)" version-string)) (setq coq-autodetected-version (match-string 1 version-string)))) (when interactive-p |