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