changes to build script to increase java heap memory

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TEdge.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TEdge.java b/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
index 96bdabe60381e128838acb3e7996800a81d308ec..bd54738ba520ff347f216644b61c11e856f85c99 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
@@ -8,14 +8,11 @@ import Util.Edge;
 
 
 public class TEdge extends Edge{
-       
     
     public TEdge(TaskNode target){
        super(target);
     }
-       
-          
-        
+                
     public int hashCode(){
        return target.hashCode();
     }