From 2ca6cc0eabd1a54a300f63977a04e34e39a09d09 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 13 Apr 2009 09:02:07 +0000
Subject: [PATCH] bug fix

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

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index d925e1c5..8d9af678 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -2264,7 +2264,7 @@ public class BuildCode {
 	if (dc.getNeedSrcTrans(lb, fsfn)) {
 	  output.println("INTPTR srcoid=("+src+"!=NULL?((INTPTR)"+src+"->"+oidstr+"):0);");
 	} else {
-	  output.println("INTPTR srcoid=(INTPTR)"+src+"->"+oidstr+";");
+	  output.println("INTPTR srcoid=(INTPTR)"+src+";");
 	}
       }
       if (wb.needBarrier(fsfn))
@@ -2418,7 +2418,7 @@ public class BuildCode {
 	if (dc.getNeedSrcTrans(lb, fsen)) {
 	  output.println("INTPTR srcoid=("+src+"!=NULL?((INTPTR)"+src+"->"+oidstr+"):0);");
 	} else {
-	  output.println("INTPTR srcoid=(INTPTR)"+src+"->"+oidstr+";");
+	  output.println("INTPTR srcoid=(INTPTR)"+src+";");
 	}
 	output.println("((INTPTR*)(((char *) &("+ generateTemp(fm,fsen.getDst(),lb)+"->___length___))+sizeof(int)))["+generateTemp(fm, fsen.getIndex(),lb)+"]=srcoid;");
 	output.println("}");
-- 
2.34.1