From: bdemsky <bdemsky>
Date: Tue, 16 Jan 2007 09:25:50 +0000 (+0000)
Subject: memory leak
X-Git-Tag: preEdgeChange~723
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7bd2dd1e735e8a33acebe625c0e7340aee8ff109;p=IRC.git

memory leak
---

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);
 }