try to get more information about flagged sites.

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index 129bffd2ddafff07ed8f643d16c9c1ecb83dde25..a07a2a6ec7e9fbb48b63548e75c681337c3af57e 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -723,6 +723,9 @@ public class DisjointAnalysis {
     String treport;
     if( sitesToFlag != null ) {
       treport = String.format( "Disjoint reachability analysis flagged %d sites and took %.3f sec.", sitesToFlag.size(), dt );
+      if(sitesToFlag.size()>0){
+        treport+="\nFlagged sites:"+"\n"+sitesToFlag.toString();
+      }
     } else {
       treport = String.format( "Disjoint reachability analysis took %.3f sec.", dt );
     }