@@ -1251,6 +1251,7 @@ void DkDebugAttachBinary (PAL_STR uri, PAL_PTR start_addr)
}
_DkDebugAddMap(l);
+ free(l);
#endif