bug fix: do dynamic tracking when a variable's source transitions from static OR...

[IRC.git] / Robust / src / IR / Flat / FlatWriteDynamicVarNode.java

diff --git a/Robust/src/IR/Flat/FlatWriteDynamicVarNode.java b/Robust/src/IR/Flat/FlatWriteDynamicVarNode.java
index 53b746d3047d3c56e99192e7946fdf306971c32e..ec85959b7fe41be3753199d1cc9026266c6481d0 100644 (file)
--- a/Robust/src/IR/Flat/FlatWriteDynamicVarNode.java
+++ b/Robust/src/IR/Flat/FlatWriteDynamicVarNode.java
@@ -50,7 +50,7 @@ public class FlatWriteDynamicVarNode extends FlatNode {
   }
 
   public String toString() {
-    return "writeDynVars "+var2src.keySet();
+    return "writeDynVars "+var2src;
   }
 
   public int kind() {