Added some functionality to reachability classes that is apparently

[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 f198a0a08ea505072c875efe888504e376ca168e..cd2f248b597e531c6c96f5a498a1ca612539431a 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
@@ -72,11 +72,11 @@ public class TokenTuple extends Canonical
            s = "S";
        }
 
-       String t = "1";
+       String t = "";
        if( arity == ARITY_MANY ) {
-           t = "M";
+           t = "*";
        }
 
-       return new String( "<"+token+s+","+t+">" );
+       return new String( token+s+t );
     }
 }