turn off write barrier

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index e8728ef6d4a0dea21667ea0b53c96184a3342931..b0491f82213f4a2b066cfe2d5b3d13949b5ea2c7 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1578,8 +1578,11 @@ public class BuildCode {
              }
            }
          }
-
+         //turn off write barrier generation
+         wb.turnoff();
          generateCode(faen, fm, lb, exitset, output, false);
+         //turn on write barrier generation
+         wb.turnon();
          output.println("}\n\n");
        }
       }