[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 72d7066e46 1/4: fix: version number parsing
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general 72d7066e46 1/4: fix: version number parsing on some confused Windows installations (#638) |
|
Date: |
Wed, 9 Feb 2022 13:05:14 -0500 (EST) |
branch: elpa/proof-general
commit 72d7066e46790e0d9883174f2d4370186bba0863
Author: Clément Pit-Claudel <cpitclaudel@users.noreply.github.com>
Commit: GitHub <noreply@github.com>
fix: version number parsing on some confused Windows installations (#638)
---
coq/coq-system.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/coq/coq-system.el b/coq/coq-system.el
index d32629f289..3afc26715c 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -130,7 +130,7 @@ Interactively (with INTERACTIVE-P), show that number."
(interactive '(t))
(setq coq-autodetected-version nil)
(let* ((str (coq-callcoq "-v" 0))
- (mtch (and str (string-match "version \\([^ \n]+\\)" str))))
+ (mtch (and str (string-match "version \\([^ \r\n]+\\)" str))))
(when mtch
(setq coq-autodetected-version (match-string 1 str))))
(when interactive-p (coq-show-version))