fix bug

[IRC.git] / Robust / src / Runtime / oooJava / hashStructure.c

diff --git a/Robust/src/Runtime/oooJava/hashStructure.c b/Robust/src/Runtime/oooJava/hashStructure.c
index b7152ed6da020cd5b00d7fd69ccbc87184850e16..240458c0260b065a025fbf4a64e8cfaf9acfa16a 100644 (file)
--- a/Robust/src/Runtime/oooJava/hashStructure.c
+++ b/Robust/src/Runtime/oooJava/hashStructure.c
@@ -434,6 +434,9 @@ void RESOLVE(SESEcommon *record, bitvt mask) {
        //mark the record unused
        BARRIER();
        record->rcrstatus=0;
+#ifndef OOO_DISABLE_TASKMEMPOOL
+       RELEASE_REFERENCE_TO(record);
+#endif
       } else {
        int flag=LOCKXCHG32(&array[index].flag,0);
        if (flag) {