# HG changeset patch
# User Josef Eisl <josef.eisl@jku.at>
# Date 1401877164 -7200
# Node ID 830fd9cd109914fb9cf08b9684214ba999be234d
# Parent  eeb9110560798258dd29e39edc64f507d72406d7
And Interval.getSplitChildren().

diff -r eeb911056079 -r 830fd9cd1099 graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/alloc/Interval.java
--- a/graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/alloc/Interval.java	Wed Jul 02 15:29:44 2014 +0200
+++ b/graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/alloc/Interval.java	Wed Jun 04 12:19:24 2014 +0200
@@ -1289,4 +1289,8 @@
         }
         return buf.toString();
     }
+
+    List<Interval> getSplitChildren() {
+        return Collections.unmodifiableList(splitChildren);
+    }
 }