X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FFlowDownCheck.java;h=5bce89cc1d66caa7c03194173f6a3bdcd1e1d178;hp=d9bc290e585b035f10f39b7cf0061b101e8fd9f2;hb=d45bb251bdc1196d7848094fa2ccd566b39e021c;hpb=9d767c1f5cef3242ff67473368e5ad327c340bfa

diff --git a/Robust/src/Analysis/SSJava/FlowDownCheck.java b/Robust/src/Analysis/SSJava/FlowDownCheck.java
index d9bc290e..5bce89cc 100644
--- a/Robust/src/Analysis/SSJava/FlowDownCheck.java
+++ b/Robust/src/Analysis/SSJava/FlowDownCheck.java
@@ -1743,13 +1743,10 @@ public class FlowDownCheck {
         Set<FlatNode> flatNodeSet = ssjava.getBuildFlat().getFlatNodeSet(an);
         for (Iterator iterator = flatNodeSet.iterator(); iterator.hasNext();) {
           FlatNode fn = (FlatNode) iterator.next();
-          System.out.println("SAMEHEIGHT!");
           ssjava.addSameHeightWriteFlatNode(fn);
         }
 
-      } else {
-        System.out.println("NOT SAME HEIGHT!");
-      }
+      } 
 
     } else {
       destLocation =