From 15e9d749e2fd3931cf42c17f2907b5ebb83e77d9 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 66d14704b..7d925e581 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);