memory leak

diff --git a/Robust/src/Runtime/checkpoint.c b/Robust/src/Runtime/checkpoint.c
index e1ceaa6b94a8fd964e3cbf99bca5e7380031dda0..e20b6e2a7d4766e40325b939e31427cc462dbda4 100644 (file)
--- 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);
 }