fix same bug in DSTM system

diff --git a/Robust/src/Runtime/DSTM/interface/objstr.c b/Robust/src/Runtime/DSTM/interface/objstr.c
index 5b982268fe5b95f4379176723e078d0c55f14560..be04a8d64a2ed5a5189969427b68b8555961a9d5 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/objstr.c
+++ b/Robust/src/Runtime/DSTM/interface/objstr.c
@@ -49,7 +49,7 @@ void *objstrAlloc(objstr_t **osptr, unsigned int size) {
     unsigned int newsize=size>DEFAULT_OBJ_STORE_SIZE?size:DEFAULT_OBJ_STORE_SIZE;
     objstr_t *os=(objstr_t *)calloc(1,(sizeof(objstr_t) + newsize));
     void *ptr=&os[1];
-    os->next=store;
+    os->next=*osptr;
     (*osptr)=os;
     os->size=newsize;
     os->top=((char *)ptr)+size;