Use coq-prog-name when looking for library, not hard coded coqtop

1 files changed, 2 insertions, 2 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 924a7338..80ccb539 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -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)))