bug fix

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index d925e1c564d237f18c27060eda8b1a94f2b7a1c4..8d9af678c6da9cb2144de0d3bd3af850a5ab03bb 100644 (file)
--- 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("}");