Bug fix in applying change sets, have to use the source reachability state in every...

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 47751ba3af3fb3645911e5d0a94e4085d2b78e29..6b2f845c1c61b14c65df823e5fb05e4d2adca574 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
@@ -184,7 +184,6 @@ public class ReachabilitySet extends Canonical {
        if( tts.equals( c.getSetToMatch() ) ) {
          rsOut.possibleReachabilities.add( c.getSetToAdd() );
          changeFound = true;
-         break;
        }
       }