memory leak... not good.

diff --git a/Robust/src/Runtime/DSTM/interface/plookup.c b/Robust/src/Runtime/DSTM/interface/plookup.c
index e542ed944f405908bc58a148238f20ed646b33f5..27abe6ac512af7e0204a672dd795a5d8daa8360f 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/plookup.c
+++ b/Robust/src/Runtime/DSTM/interface/plookup.c
@@ -131,7 +131,7 @@ void pDelete(plistnode_t *pile) {
        while(tmp != NULL) {
                next = tmp->next;
                free(tmp->oidmod);
-               //free(tmp->oidread);
+               free(tmp->oidcreated);
                free(tmp->objread);
                free(tmp);
                tmp = next;