memory leak

diff --git a/Robust/src/Runtime/task.c b/Robust/src/Runtime/task.c
index 788ee67698c371a1e7b9f5dc8765f0214622af8d..32b815649536f7384b3375f703bd672a73b06d98 100644 (file)
--- a/Robust/src/Runtime/task.c
+++ b/Robust/src/Runtime/task.c
@@ -1077,6 +1077,9 @@ void executetasks() {
       if (gencontains(failedtasks, currtpd)) {
        // Free up task parameter descriptor
        RUNFREE(currtpd->parameterArray);
+#ifdef OPTIONAL
+       RUNFREE(currtpd->failed);
+#endif
        RUNFREE(currtpd);
        goto newtask;
       }