From 39e40d8ec5edc2c407f44a279245a99de50def88 Mon Sep 17 00:00:00 2001
From: Li-yao Xia <lysxia@gmail.com>
Date: Sat, 1 Feb 2025 09:58:31 +0100
Subject: [PATCH] creusot-setup: Print issues on stderr instead of stdout when
 bailing

---
 creusot-setup/src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/creusot-setup/src/lib.rs b/creusot-setup/src/lib.rs
index 4d9bb767c6..0aa4e0d46a 100644
--- a/creusot-setup/src/lib.rs
+++ b/creusot-setup/src/lib.rs
@@ -183,7 +183,7 @@ pub fn creusot_paths() -> anyhow::Result<Paths> {
                 // warnings) if there's a hard error. Otherwise we're spamming
                 // testsuite logs, etc.
                 for issue in &issues {
-                    println!("{issue}")
+                    eprintln!("{issue}")
                 }
                 bail!(
                     "Please run 'cargo creusot setup status' \
@@ -278,7 +278,7 @@ fn install_tools(paths: &CfgPaths, flags: InstallFlags) -> anyhow::Result<()> {
 
     let issues = diagnostic_config(&paths, &config, false);
     for issue in &issues {
-        println!("{issue}")
+        eprintln!("{issue}")
     }
     if issues.iter().any(|issue| issue.error) {
         bail!("Aborting")