*** empty log message ***

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index 7ea4ebc466c286b430901fa8330293744302e929..fcc94f8a07bc23e9d8a8f4686d53c2bab9cdf33e 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -1297,8 +1297,6 @@ public class ReachGraph {
                  predsEmpty
                  );
       
-      System.out.println("taint "+isv+" for "+sese);
-      writeGraph("taint");
     }
   }