From b5c6fd98ae2fe88114b7cf0c5ef7fe95671e556f Mon Sep 17 00:00:00 2001
From: Markus Mueller <metroid120@googlemail.com>
Date: Wed, 22 Feb 2023 17:44:33 +0100
Subject: [PATCH] fix small memory leak in OSDI interface

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

diff --git a/src/osdi/osdiregistry.c b/src/osdi/osdiregistry.c
index 6da846451..c3224c294 100644
--- a/src/osdi/osdiregistry.c
+++ b/src/osdi/osdiregistry.c
@@ -316,6 +316,8 @@ extern OsdiObjectFile load_object_file(const char *input) {
     return INVALID_OBJECT;
   }
 
+  txfree(path);
+
   GET_CONST(OSDI_NUM_DESCRIPTORS, uint32_t);
   GET_PTR(OSDI_DESCRIPTORS, OsdiDescriptor);