rewriting of callee tokens into caller tokens was incorrect

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / ChangeTupleSet.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java b/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
index 9bb1f54c2a67e986bef32be70ce6c310aa8007d2..32a50de1d4fd3e1b734edf55bd940f48901b1469 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
@@ -31,6 +31,10 @@ public class ChangeTupleSet extends Canonical {
     return changeTuples.iterator();
   }
 
+  public int size() {
+    return changeTuples.size();
+  }
+
   public ChangeTupleSet union(ChangeTupleSet ctsIn) {
     assert ctsIn != null;