From 722a48af3b152d99aeca02dee8543de57e48cdeb Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 19 Nov 2007 21:53:17 +0000
Subject: [PATCH] memory leak

---
 Robust/src/Runtime/task.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Robust/src/Runtime/task.c b/Robust/src/Runtime/task.c
index 788ee676..32b81564 100644
--- 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;
       }
-- 
2.34.1