diff options
| -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) |