From: yeom <yeom>
Date: Fri, 30 Jul 2010 18:41:20 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3112cf783fef488fb84c9b26bcbaf51e3ad122b4;p=IRC.git

*** empty log message ***
---

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index 7ea4ebc4..fcc94f8a 100644
--- 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");
     }
   }