changes: now it generates simple lattice without having intermediate nodes for the...

[IRC.git] / Robust / src / Analysis / SSJava / GlobalFlowNode.java

diff --git a/Robust/src/Analysis/SSJava/GlobalFlowNode.java b/Robust/src/Analysis/SSJava/GlobalFlowNode.java
index 3f5c72d1ed4c90724deec7c7409070dd9c24c53a..03f96b28fdac672e9052d7c1aa04f429db840701 100644 (file)
--- a/Robust/src/Analysis/SSJava/GlobalFlowNode.java
+++ b/Robust/src/Analysis/SSJava/GlobalFlowNode.java
@@ -9,9 +9,6 @@ public class GlobalFlowNode {
 
   public GlobalFlowNode(NTuple<Location> in) {
     locTuple = in;
-    if (in.size() == 0) {
-      throw new Error();
-    }
   }
 
   public int hashCode() {