missing line

diff --git a/Robust/src/Runtime/DSTM/interface/localobjects.c b/Robust/src/Runtime/DSTM/interface/localobjects.c
index ce24607f3f1ee4770c4727bd47f1c9d2bff0399a..bd991ea52b1822082c8742c24ed6a1537214d1ce 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/localobjects.c
+++ b/Robust/src/Runtime/DSTM/interface/localobjects.c
@@ -6,6 +6,7 @@ void REVERT_OBJ(struct ___Object___ * obj) {
   struct ___Object___ * copyobj=obj->___localcopy___;
   if(((int)copyobj)==1) {
     obj->___localcopy___=NULL;
+    obj->___nextobject___=NULL;
   } else if (type<NUMCLASSES) {
     /* We have a normal object */
     int size=classsize[type];