changes.

[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 03f96b28fdac672e9052d7c1aa04f429db840701..3f5c72d1ed4c90724deec7c7409070dd9c24c53a 100644 (file)
--- a/Robust/src/Analysis/SSJava/GlobalFlowNode.java
+++ b/Robust/src/Analysis/SSJava/GlobalFlowNode.java
@@ -9,6 +9,9 @@ public class GlobalFlowNode {
 
   public GlobalFlowNode(NTuple<Location> in) {
     locTuple = in;
 
   public GlobalFlowNode(NTuple<Location> in) {
     locTuple = in;

+    if (in.size() == 0) {
+      throw new Error();
+    }

   }
 
   public int hashCode() {
   }
 
   public int hashCode() {