From f35fbd79af985f8b4dbe08c23e28e875b488636e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 25 Apr 2008 22:23:51 +0000
Subject: [PATCH] fix compiler bug

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

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 83ca049b..848e81e1 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1792,6 +1792,14 @@ public class BuildCode {
 		    output.print(temp.getType().getSafeSymbol());
 	    }
 
+	    if (state.DSM&&locality.getBinding(lb,fc).isAtomic()&&!fc.getMethod().getModifiers().isNative()) {
+		LocalityBinding fclb=locality.getBinding(lb, fc);
+		if (printcomma)
+		    output.print(", ");
+		output.print("transrecord_t *");
+		printcomma=true;
+	    }
+
 	    if (state.DSM) {
 		LocalityBinding fclb=locality.getBinding(lb, fc);
 		output.print("))virtualtable["+generateTemp(fm,fc.getThis(),lb)+"->type*"+maxcount+"+"+virtualcalls.getLocalityNumber(fclb)+"])");
-- 
2.34.1