special union of reachability sets works correctly now

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
index 4d496987d89acb22ca0d30981395893a6bd851ac..e135a68060bc2e32a25b9e8dc268973b9f1c0579 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
@@ -63,14 +63,14 @@ public class TokenTuple
     public String toString() {
        String s = "";
        if( isNewSummary ) {
-           s = "sum";
+           s = "S";
        }
 
        String t = "1";
        if( arity == ARITY_MANY ) {
-           t = "many";
+           t = "M";
        }
 
-       return new String( "<"+token+s+", "+t+">" );
+       return new String( "<"+token+s+","+t+">" );
     }
 }