another bug fix

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index 23a21d4329fbb58fdf93993cc88b6b0c40f25434..9d50e59c06249b82dd924534f147f634283eb7a9 100644 (file)
--- a/Robust/src/IR/Flat/RuntimeConflictResolver.java
+++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java
@@ -824,7 +824,7 @@ public class RuntimeConflictResolver {
        currCase.append("} else {\n");
        currCase.append("  struct rcrRecord *trec=RUNMALLOC(sizeof(struct rcrRecord));");
        currCase.append("  trec->array[0]=tmpkey"+depth+";\n");
-       currCase.append("  trec->size=1;\n");
+       currCase.append("  trec->index=1;\n");
        currCase.append("  trec->next=tmprec;\n");
        currCase.append("  rcrrec->next=trec;\n");
        currCase.append("}\n");