From c97557f3e6ee6bfec2cb9ff59cff00c9483b3169 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 9 Mar 2009 18:01:58 +0000
Subject: [PATCH] Bug fix in applying change sets, have to use the source
 reachability state in every rule and not just the first

---
 Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java | 1 -
 1 file changed, 1 deletion(-)

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;
 	}
       }
 
-- 
2.34.1