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);