From 7bd2dd1e735e8a33acebe625c0e7340aee8ff109 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 16 Jan 2007 09:25:50 +0000
Subject: [PATCH] memory leak

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

diff --git a/Robust/src/Runtime/checkpoint.c b/Robust/src/Runtime/checkpoint.c
index e1ceaa6b..e20b6e2a 100644
--- a/Robust/src/Runtime/checkpoint.c
+++ b/Robust/src/Runtime/checkpoint.c
@@ -113,6 +113,7 @@ void ** makecheckpoint(int numparams, void ** srcpointer, struct RuntimeHash * f
       }
     }
   }
+  freeRuntimeHash(todo);
   return newarray;
 }
 
@@ -214,4 +215,5 @@ void restorecheckpoint(int numparams, void ** original, void ** checkpoint, stru
       }
     }
   }
+  freeRuntimeHash(todo);
 }
-- 
2.34.1