From fa8d16f7baa4c1ae05bfb3068e30e92f91c003cf Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 29 Jun 2009 10:26:59 +0000
Subject: [PATCH] turn off write barrier

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

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index e8728ef6..b0491f82 100644
--- 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");
 	}
       }
-- 
2.34.1