From cef1a24275583bfef7349ad9f676fad8e5c0eb6a 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;
   }