From be6bd990db409c0b6999c6dcb17bb19b910f27f5 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Wed, 25 Jan 2023 14:52:51 +0100
Subject: [PATCH] Error message to stderr

---
 src/osdi/osdiregistry.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/osdi/osdiregistry.c b/src/osdi/osdiregistry.c
index 291fed8ee..164ed741e 100644
--- a/src/osdi/osdiregistry.c
+++ b/src/osdi/osdiregistry.c
@@ -256,7 +256,7 @@ extern OsdiObjectFile load_object_file(const char *input) {
   }
   const char *path = resolve_input_path(input);
   if (!path) {
-    printf("Error opening osdi lib \"%s\": No such file or directory!\n",
+    fprintf(stderr, "Error opening osdi lib \"%s\": No such file or directory!\n",
            input);
     return INVALID_OBJECT;
   }