X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FNodeTupleSet.java;h=eaa0e6e9ae74d51c555d3af6c418b88bcda09a17;hb=78a14d01d4b27a3e6e5f42c3bdb382a708426e96;hp=3040a15ae80d8a2b5389020abcab6cb39fb062da;hpb=8252b9bcfa61b6a2692c193483e950739fbe5a05;p=IRC.git

diff --git a/Robust/src/Analysis/SSJava/NodeTupleSet.java b/Robust/src/Analysis/SSJava/NodeTupleSet.java
index 3040a15a..eaa0e6e9 100644
--- a/Robust/src/Analysis/SSJava/NodeTupleSet.java
+++ b/Robust/src/Analysis/SSJava/NodeTupleSet.java
@@ -28,6 +28,10 @@ public class NodeTupleSet {
     list.add(tuple);
   }
 
+  public void removeTuple(NTuple<Descriptor> tuple) {
+    list.remove(tuple);
+  }
+
   public Iterator<NTuple<Descriptor>> iterator() {
     return list.iterator();
   }