# HG changeset patch
# User Andreas Woess <andreas.woess@jku.at>
# Date 1375717987 -7200
# Node ID a4a5fa1d19475969b7d8738b5d3f40374a13c23b
# Parent  bcfccdbae99aa4606cf8e7d3d8ad1b11cd949ce1
Increase TruffleGraphMaxNodes to 20000.

diff -r bcfccdbae99a -r a4a5fa1d1947 graal/com.oracle.graal.truffle/src/com/oracle/graal/truffle/TruffleCompilerOptions.java
--- a/graal/com.oracle.graal.truffle/src/com/oracle/graal/truffle/TruffleCompilerOptions.java	Mon Aug 05 17:00:00 2013 +0200
+++ b/graal/com.oracle.graal.truffle/src/com/oracle/graal/truffle/TruffleCompilerOptions.java	Mon Aug 05 17:53:07 2013 +0200
@@ -58,7 +58,7 @@
     @Option(help = "")
     public static final OptionValue<Integer> TruffleOperationCacheMaxNodes = new OptionValue<>(350);
     @Option(help = "")
-    public static final OptionValue<Integer> TruffleGraphMaxNodes = new OptionValue<>(15000);
+    public static final OptionValue<Integer> TruffleGraphMaxNodes = new OptionValue<>(20000);
     @Option(help = "")
     public static final OptionValue<Integer> TruffleInliningMaxRecursiveDepth = new OptionValue<>(2);
     @Option(help = "")