From 975fd24a2b189834110d75b30b985cda6892db8b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 Feb 2004 22:06:03 +0000
Subject: Avoid type error if coq program can't be found during startup.

---
 coq/coq-syntax.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index bbca7abc..d9f4d153 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -85,6 +85,8 @@ version of coq by doing 'coqtop -v'."  )
     (let* ((str (shell-command-to-string (concat coq-prog-name " -v")))
 			  (x (string-match "version \\([.0-9]*\\)" str))
 			  (num (match-string 1 str)))
+      ;; da: added this to avoid type error in case coq command fails
+      (if (null num) (setq num ""))
       (cond
        ((string-match num "\\<6.") 
 		  (message v6)
-- 
cgit v1.2.3