diff options
| author | David Aspinall | 2004-02-17 22:06:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-17 22:06:03 +0000 |
| commit | 975fd24a2b189834110d75b30b985cda6892db8b (patch) | |
| tree | dbbbd30d5150ed828cefe02b51d8fe033327c8d7 | |
| parent | 1613054986704066fc6d6b36f4386e11d5faec12 (diff) | |
Avoid type error if coq program can't be found during startup.
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 2 insertions, 0 deletions
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) |