From e3b071afa2cbf19237dd9689450c8b8b71a06cc0 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 3 Nov 2010 12:44:05 +0000
Subject: [PATCH] changes

---
 Robust/src/IR/Flat/BuildCode.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 0b86821f..566bf95c 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -3316,6 +3316,10 @@ public class BuildCode {
 		  output.println("       stallrecord.___obj___=(struct ___Object___ *)"+generateTemp(fm, waitingElement.getTempDesc(), null)+";");
 		  output.println("       stallrecord.common.classID=-"+rcr.getTraverserID(waitingElement.getTempDesc(), fn)+";");
 		  //mark the record used..so we won't use it again until it is free
+		  //clear rcrRecord
+		  output.println("       stallrecord.rcrRecords[0].index=0;");
+		  output.println("       stallrecord.rcrRecords[0].flag=0;");
+		  output.println("       stallrecord.rcrRecords[0].next=NULL;");
 		  output.println("       stallrecord.common.rcrstatus=1;");
 		  output.println("       enqueueTR(TRqueue, (void *)&stallrecord);");
                 }
-- 
2.34.1