# HG changeset patch
# User Christos Kotselidis <christos.kotselidis@oracle.com>
# Date 1366243575 -7200
# Node ID 3ec1f3b8974e560e9f93e60f2898c4b6d61df5e2
# Parent  642e04f1ea93fd04f652811d2cc4bdc2978dd399
Turn off phase verification by default

diff -r 642e04f1ea93 -r 3ec1f3b8974e graal/com.oracle.graal.phases/src/com/oracle/graal/phases/GraalOptions.java
--- a/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/GraalOptions.java	Thu Apr 18 02:05:18 2013 +0200
+++ b/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/GraalOptions.java	Thu Apr 18 02:06:15 2013 +0200
@@ -114,7 +114,7 @@
     // debugging settings
     public static boolean ZapStackOnMethodEntry              = ____;
     public static boolean DeoptALot                          = ____;
-    public static boolean VerifyPhases                       = true;
+    public static boolean VerifyPhases                       = false;
 
     public static String  PrintFilter                        = null;