From: jjenista <jjenista>
Date: Mon, 9 Mar 2009 18:01:58 +0000 (+0000)
Subject: Bug fix in applying change sets, have to use the source reachability state in every... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c97557f3e6ee6bfec2cb9ff59cff00c9483b3169;p=IRC.git

Bug fix in applying change sets, have to use the source reachability state in every rule and not just the first
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 47751ba3..6b2f845c 100644
--- 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;
 	}
       }