AcceptanceRabin: fix name typo in complementation to Streett

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11112 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/acceptance/AcceptanceRabin.java

@@ -183,16 +183,16 @@ public class AcceptanceRabin
 	 */
 	public AcceptanceStreett complementToStreett()
 	{
-		AcceptanceStreett accRabin = new AcceptanceStreett();
+		AcceptanceStreett accStreett = new AcceptanceStreett();
 
 		for (RabinPair accPairRabin : this) {
 			BitSet R = (BitSet) accPairRabin.getK().clone();
 			BitSet G = (BitSet) accPairRabin.getL().clone();
 			AcceptanceStreett.StreettPair accPairStreett = new AcceptanceStreett.StreettPair(R, G);
-			accRabin.add(accPairStreett);
+			accStreett.add(accPairStreett);
 		}
 
-		return accRabin;
+		return accStreett;
 	}
 
 	@Override