From c182f3f16e56e9533060ffa06b25391e239a28ee Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Thu, 17 Apr 2025 14:36:47 +0200
Subject: Restore logging to stderr for tools

---
 tools/100_checkdata/checkdata.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/100_checkdata')

diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c
index 00875fa..cf42cbe 100644
--- a/tools/100_checkdata/checkdata.c
+++ b/tools/100_checkdata/checkdata.c
@@ -41,7 +41,7 @@ int main(int argc, char **argv) {
 
 	solver = argv[1];
 	filename = argv[2];
-	nissy_setlogger(log_stdout, NULL);
+	nissy_setlogger(log_stderr, NULL);
 
 	timerun(run);
 
-- 
cgit v1.3