more changes.

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

diff --git a/Robust/src/Analysis/SSJava/NodeTupleSet.java b/Robust/src/Analysis/SSJava/NodeTupleSet.java
index 30fb1fb852adbb4e2ec55d50976fafdb4c4be14f..6850960485f676def5fdab549dd21111e98d8c01 100644 (file)
--- a/Robust/src/Analysis/SSJava/NodeTupleSet.java
+++ b/Robust/src/Analysis/SSJava/NodeTupleSet.java
@@ -44,6 +44,8 @@ public class NodeTupleSet {
   }
 
   public void addTupleSet(NodeTupleSet in) {
-    set.addAll(in.getSet());
+    if (in != null) {
+      set.addAll(in.getSet());
+    }
   }
 }