[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general d2d2e8a8ef 2/3: make CoqProject parsing fail
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general d2d2e8a8ef 2/3: make CoqProject parsing failure noticeable |
|
Date: |
Tue, 28 Nov 2023 13:00:42 -0500 (EST) |
branch: elpa/proof-general
commit d2d2e8a8efee65dda2113937918ee15136bced1b
Author: Gabriel Scherer <gabriel.scherer@gmail.com>
Commit: Gabriel Scherer <gabriel.scherer@gmail.com>
make CoqProject parsing failure noticeable
(maybe an 'error' would be even better?)
---
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 2db3b96d17..9e8a45784f 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -553,7 +553,7 @@ If ARITY is nil, return SWITCH."
(cond
((not arity) switch)
((< (length raw-args) arity)
- (warn "Invalid _CoqProject: not enough arguments for %S" switch)
+ (message "Invalid _CoqProject: not enough arguments for %S" switch)
switch)
(t
(let ((arguments (cl-subseq raw-args 0 arity)))