From 9947653dc0bfb8f6d4a15403a6d94817f5ce2819 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 30 Jan 2009 21:06:05 +0000
Subject: [PATCH] missing line

---
 Robust/src/Runtime/DSTM/interface/localobjects.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Robust/src/Runtime/DSTM/interface/localobjects.c b/Robust/src/Runtime/DSTM/interface/localobjects.c
index ce24607f..bd991ea5 100644
--- 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];
-- 
2.34.1