When path is NULL, we don't need to free it.

2023-02-25 15:40:52 +01:00 · 2023-02-25 15:40:52 +01:00 · 026c8cca18
parent ac8fb9ecda
commit 026c8cca18
1 changed files with 0 additions and 1 deletions
--- 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;
  }