# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1331744459 -3600
# Node ID 0c968a6e0ca0ed53d3a4f2ad0b7126b490edb8c4
# Parent  ed53c5f8244be8c4065f360fb89aa9f8e3cd437d
disable PropagateTypes option

diff -r ed53c5f8244b -r 0c968a6e0ca0 graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/GraalOptions.java
--- a/graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/GraalOptions.java	Wed Mar 14 18:00:19 2012 +0100
+++ b/graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/GraalOptions.java	Wed Mar 14 18:00:59 2012 +0100
@@ -147,7 +147,7 @@
     public static boolean AssumeVerifiedBytecode             = true;
 
     // Code generator settings
-    public static boolean PropagateTypes                     = true;
+    public static boolean PropagateTypes                     = ____;
     public static boolean UseBranchPrediction                = true;
     public static boolean UseExceptionProbability            = true;
     public static boolean AllowExplicitExceptionChecks       = true;