X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FFlowGraph.java;fp=Robust%2Fsrc%2FAnalysis%2FSSJava%2FFlowGraph.java;h=ded0837339adba1482e09dcef5ee047fa8c91584;hp=e2783bf60ca44f66ec9506deff8756c9ab3f3e1c;hb=c4e15379352959519956d9b77b723f441aa237b3;hpb=965d1b1d7db7d231cdecfaec438165ba4ccb9c16

diff --git a/Robust/src/Analysis/SSJava/FlowGraph.java b/Robust/src/Analysis/SSJava/FlowGraph.java
index e2783bf6..ded08373 100644
--- a/Robust/src/Analysis/SSJava/FlowGraph.java
+++ b/Robust/src/Analysis/SSJava/FlowGraph.java
@@ -711,4 +711,6 @@ public class FlowGraph {
 
     bw.write("}\n");
   }
+
+  
 }
\ No newline at end of file