changes.
[IRC.git] / Robust / src / Analysis / SSJava / GlobalFlowNode.java
index 03f96b2..3f5c72d 100644 (file)
@@ -9,6 +9,9 @@ public class GlobalFlowNode {
 
   public GlobalFlowNode(NTuple<Location> in) {
     locTuple = in;
+    if (in.size() == 0) {
+      throw new Error();
+    }
   }
 
   public int hashCode() {