Token propagation for normal assignments fixed. Tokens do not "age" with

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java b/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
index ecf0633eb39d89639a6a3e852082ef871e020c99..c9c96abe94a21f73f0cb641f9c1dea3b675d95de 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
@@ -172,7 +172,7 @@ public class TokenTupleSet extends Canonical {
                } else {
                    // otherwise, we change this token to the
                    // next older token
-                   Integer tokenToChangeTo = as.getIthOldest( age + 1 );
+                   Integer tokenToChangeTo = as.getIthOldest( age + 1 );                  
                    tt = tt.changeTokenTo( tokenToChangeTo );
                }
            }