make CoqProject parsing failure noticeable

(maybe an 'error' would be even better?)
ProofGeneral · Oct 3, 2023 · d2d2e8a · d2d2e8a
1 parent 11c1a5f
commit d2d2e8a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)))