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 cab070441c0233b399c4e922c8ae81213f067f28..8142cf1c903e93d9dc78d20178e5e17292ec107b 100644 (file)
--- a/Robust/src/Runtime/oooJava/hashStructure.c
+++ b/Robust/src/Runtime/oooJava/hashStructure.c
@@ -404,7 +404,7 @@ void RESOLVE(SESEcommon *record, bitvt mask) {
        psem_give_tag(record->parentsStallSem, ((SESEstall *)record)->tag);
        //mark the record unused
        BARRIER();
-       ((SESEstall *)record)->rcrstatus=0;
+       record->rcrstatus=0;
       } else {
        int flag=LOCKXCHG32(&array[index].flag,0);
        if (flag) {