# HG changeset patch
# User Andreas Woess <andreas.woess@jku.at>
# Date 1421326594 -3600
# Node ID 7735bac1f7814ae249a47dcbb1641889c0df700e
# Parent  d493f179ef76c2ebce247f5a4b9709164c73f0ff
Truffle: IGV printer nodeMap should be IdentityHashMap

diff -r d493f179ef76 -r 7735bac1f781 graal/com.oracle.truffle.api/src/com/oracle/truffle/api/nodes/GraphPrintVisitor.java
--- a/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/nodes/GraphPrintVisitor.java	Thu Jan 15 08:24:43 2015 +0100
+++ b/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/nodes/GraphPrintVisitor.java	Thu Jan 15 13:56:34 2015 +0100
@@ -118,7 +118,7 @@
 
         // save old nodes
         prevNodeMap = nodeMap;
-        nodeMap = new HashMap<>();
+        nodeMap = new IdentityHashMap<>();
         edgeList = new ArrayList<>();
 
         return this;