@@ -4248,6 +4248,9 @@ void _starpu_fxt_parse_new_file(char *filename_in, struct starpu_fxt_options *op
}
+ for (i = 0; i < STARPU_NMAXWORKERS; i++)
+ free(options->worker_archtypes[i].devices);
+
/* Close the trace file */
if (close(fd_in))
{