# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1366902580 -7200
# Node ID 6ad0bdcd76aa96394e464e97c9a845649254f00a
# Parent  82b2a2c652bb7c8694e6cb1a4a97a61769e6676a
make Node.getDebugProperties() final

diff -r 82b2a2c652bb -r 6ad0bdcd76aa graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java	Thu May 02 10:55:11 2013 +0200
+++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java	Thu Apr 25 17:09:40 2013 +0200
@@ -458,7 +458,7 @@
      * Provides a {@link Map} of properties of this node for use in debugging (e.g., to view in the
      * ideal graph visualizer).
      */
-    public Map<Object, Object> getDebugProperties() {
+    public final Map<Object, Object> getDebugProperties() {
         return getDebugProperties(new HashMap<>());
     }