*** empty log message ***

diff --git a/Robust/src/Runtime/STM/commit.c b/Robust/src/Runtime/STM/commit.c
index 9c399b4a11bd5ea9a897e34f15aaa5fca947177a..885a405f552326e116d7b0cffd03419c0236b40e 100644 (file)
--- a/Robust/src/Runtime/STM/commit.c
+++ b/Robust/src/Runtime/STM/commit.c
@@ -163,7 +163,7 @@ int transCommit() {
     oidrdlocked=malloc(size); \
     oidrdversion=malloc(size); \
     STATALLOC;                \
-    STATARRAYALLOC;           \
+    STMARRAYALLOC;            \
   }\
   dirwrlocked=oidwrlocked->array;
 #else
@@ -179,7 +179,7 @@ int transCommit() {
     oidrdversion=malloc(size); \
     oidwrlocked=malloc(size+2*sizeof(INTPTR)); \
     STATALLOC;                                 \
-    STATARRAYALLOC;                            \
+    STMARRAYALLOC;                             \
   } \
   dirwrlocked=oidwrlocked->array;
 #endif