From 026c8cca18f5a8c6ff7e74f6d8d2d41e50b8850e Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 25 Feb 2023 15:40:52 +0100
Subject: [PATCH] When path is NULL, we don't need to free it.

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

diff --git a/src/osdi/osdiregistry.c b/src/osdi/osdiregistry.c
index 43336332b..e3362fa38 100644
--- a/src/osdi/osdiregistry.c
+++ b/src/osdi/osdiregistry.c
@@ -288,7 +288,6 @@ extern OsdiObjectFile load_object_file(const char *input) {
   if (!path) {
     fprintf(stderr, "Error opening osdi lib \"%s\": No such file or directory!\n",
            input);
-    txfree(path);
     return INVALID_OBJECT;
   }