From d2d2e8a8efee65dda2113937918ee15136bced1b Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Tue, 3 Oct 2023 11:05:03 +0200
Subject: [PATCH] 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 2db3b96d1..9e8a45784 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)))