From a211fcf5fae656096b25ff90f8c8b8ef71021104 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 23 Oct 2010 01:42:16 +0000
Subject: [PATCH] another bug fix

---
 Robust/src/IR/Flat/RuntimeConflictResolver.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java
index 23a21d43..9d50e59c 100644
--- 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");
-- 
2.34.1